Computational Aspects of an Order-Sorted Logic with Term Declarations 1
bokomslag Computational Aspects of an Order-Sorted Logic with Term Declarations
Data & IT

Computational Aspects of an Order-Sorted Logic with Term Declarations

Manfred Schmidt-Schauß

Pocket

529:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-12 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

  • 174 sidor
  • 1989
  • Författare: Manfred Schmidt-Schauß
  • Format: Pocket/Paperback
  • ISBN: 9783540517054
  • Språk: Engelska
  • Antal sidor: 174
  • Utgivningsdatum: 1989-09-20
  • Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Du kanske gillar

  1. bokomslag Rewriting Techniques and Applications

    Rewriting Techniques and Applications

    Jieh Hsiang

    Pocket

    769:-
  2. bokomslag Noch einmal: »Ich und Du«

    Noch einmal: »Ich und Du«

    Uwe Schauß

    Pocket

    259:-
  3. bokomslag Resolution Methods for the Decision Problem

    Resolution Methods for the Decision P...

    C Fermüller, A Leitsch, Tanel Tammet, Nail Zamov

    Pocket

    749:-
  4. bokomslag EPIA'89

    EPIA'89

    Ernesto M Morgado Joao P Martins

    Pocket

    769:-
  5. bokomslag Logics in Artificial Intelligence

    Logics in Artificial Intelligence

    Jose Julio Alferes, Luis Moniz Pereira, Eva Orlowska

    Pocket

    769:-
  6. bokomslag Fundamentals of Artificial Intelligence Research

    Fundamentals of Artificial Intelligen...

    Jozef Kelemen Philippe Jorrand

    Pocket

    769:-
  7. bokomslag The Imperfect Paradise

    The Imperfect Paradise

    Linda Pastan

    Pocket

    309:-
  8. bokomslag Niederrhein. 55 Highlights aus der Geschichte

    Niederrhein. 55 Highlights aus der Ge...

    Manfred Schmidt

    Inbunden

    289:-
  9. bokomslag Strom- Und Binnenseeinseln in Deutschland

    Strom- Und Binnenseeinseln in Deutsch...

    Manfred Schmidt

    Pocket

    839:-
  10. bokomslag Dante : den förste författaren

    Dante : den förste författaren

    Anders Cullhed

    Inbunden

    299:-