Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 60,06
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Da: Chiron Media, Wallingford, Regno Unito
EUR 57,14
Quantità: 10 disponibili
Aggiungi al carrelloPF. Condizione: New.
Da: Rarewaves.com USA, London, LONDO, Regno Unito
EUR 75,69
Quantità: Più di 20 disponibili
Aggiungi al carrelloPaperback. Condizione: New. 1992nd.
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 53,49
Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the proceedings of two Russianconferences on logic programming, held in 1990 in Irkutskand in 1991 in St. Petersburg. The aim of the conferenceswas to bring together researchers from the Russian and theinternational logic programming communities. Topics coveredin the volume include: logic programming, automated theoremproving, non-monotonic reasoning, applications ofmathematical logic to computer science, deductivedatabasesimplementation of declarative concepts, and programming innon-classical logics.This is the first volume to represent activity in the fieldof logic programming in the countries of the former SovietUnion.
Da: preigu, Osnabrück, Germania
EUR 50,25
Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Logic Programming | First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990. Second Russian Conference on Logic Programming, St.Petersburg, Russia, September 11-16, 1991. Proceedings | Andrei Voronkov | Taschenbuch | xi | Englisch | 1992 | Springer | EAN 9783540554608 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Da: Rarewaves.com UK, London, Regno Unito
EUR 65,25
Quantità: Più di 20 disponibili
Aggiungi al carrelloPaperback. Condizione: New. 1992nd.
Da: Mispah books, Redhill, SURRE, Regno Unito
EUR 128,63
Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Lingua: Inglese
Editore: Springer Berlin Heidelberg, 1992
ISBN 10: 3540554602 ISBN 13: 9783540554608
Da: moluna, Greven, Germania
EUR 48,37
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This volume contains the proceedings of two Russianconferences on logic programming, held in 1990 in Irkutskand in 1991 in St. Petersburg. The aim of the conferenceswas to bring together researchers from the Russian and theinternational logic programmi.
Lingua: Inglese
Editore: Springer Berlin Heidelberg Mai 1992, 1992
ISBN 10: 3540554602 ISBN 13: 9783540554608
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
EUR 85,59
Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the proceedings of two Russianconferences on logic programming, held in 1990 in Irkutskand in 1991 in St. Petersburg. The aim of the conferenceswas to bring together researchers from the Russian and theinternational logic programming communities. Topics coveredin the volume include: logic programming, automated theoremproving, non-monotonic reasoning, applications ofmathematical logic to computer science, deductivedatabasesimplementation of declarative concepts, and programming innon-classical logics.This is the first volume to represent activity in the fieldof logic programming in the countries of the former SovietUnion. 532 pp. Englisch.
Lingua: Inglese
Editore: Springer, Springer Mai 1992, 1992
ISBN 10: 3540554602 ISBN 13: 9783540554608
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
EUR 53,49
Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This volume contains the proceedings of two Russianconferences on logic programming, held in 1990 in Irkutskand in 1991 in St. Petersburg. The aim of the conferenceswas to bring together researchers from the Russian and theinternational logic programming communities. Topics coveredin the volume include: logic programming, automated theoremproving, non-monotonic reasoning, applications ofmathematical logic to computer science, deductivedatabasesimplementation of declarative concepts, and programming innon-classical logics.This is the first volume to represent activity in the fieldof logic programming in the countries of the former SovietUnion.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 532 pp. Englisch.