Computational Aspects of an Order-Sorted Logic with Term Declarations 1
bokomslag Computational Aspects of an Order-Sorted Logic with Term Declarations
Vetenskap & teknik

Computational Aspects of an Order-Sorted Logic with Term Declarations

Manfred Schmidt-Schauß

Pocket

509:-

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

Uppskattad leveranstid 10-16 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 Noch einmal: »Ich und Du«

    Noch einmal: »Ich und Du«

    Uwe Schauß

    Pocket

    269:-
  2. bokomslag Resolution Methods for the Decision Problem

    Resolution Methods for the Decision P...

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

    Pocket

    719:-
  3. bokomslag Rewriting Techniques and Applications

    Rewriting Techniques and Applications

    Jieh Hsiang

    Pocket

    749:-
  4. bokomslag EPIA'89

    EPIA'89

    Ernesto M Morgado Joao P Martins

    Pocket

    749:-
  5. bokomslag Many-Valued Logics 2

    Many-Valued Logics 2

    Piotr Borowik Leonard Bolc

    749:-
  6. bokomslag Fundamentals of Artificial Intelligence Research

    Fundamentals of Artificial Intelligen...

    Jozef Kelemen Philippe Jorrand

    Pocket

    749:-
  7. bokomslag Eagle and the Lion

    Eagle and the Lion

    James A Bill

    899:-
  8. bokomslag Thief and the Dogs

    Thief and the Dogs

    Naguib Mahfouz

    229:-
  9. bokomslag Coding Theory and Applications

    Coding Theory and Applications

    Jacques Wolfmann Gerard Daniel Cohen

    Pocket

    719:-
  10. Hitster Guilty Pleasures (Nordic)

    Hitster Guilty Pleasures (Nordic)

    Spel, Jumbo

    379:-