Importo totale (1 articolo articoli):
Destinazione ordine:
dyckhoff roy (37 risultati)
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (37)
- Riviste e Giornali (Nessun altro risultato corrispondente a questo perfezionamento)
- Fumetti (Nessun altro risultato corrispondente a questo perfezionamento)
- Spartiti (Nessun altro risultato corrispondente a questo perfezionamento)
- Arte, Stampe e Poster (Nessun altro risultato corrispondente a questo perfezionamento)
- Fotografie (Nessun altro risultato corrispondente a questo perfezionamento)
- Mappe (Nessun altro risultato corrispondente a questo perfezionamento)
- Manoscritti e Collezionismo cartaceo (Nessun altro risultato corrispondente a questo perfezionamento)
Condizioni Maggiori informazioni
- Nuovo (31)
- Come nuovo, Ottimo o Quasi ottimo (3)
- Molto buono o Buono (3)
- Discreto o Mediocre (Nessun altro risultato corrispondente a questo perfezionamento)
- Come descritto (Nessun altro risultato corrispondente a questo perfezionamento)
Legatura
- Tutte
- Rilegato (Nessun altro risultato corrispondente a questo perfezionamento)
- Brossura (36)
Ulteriori caratteristiche
- Prima ed. (Nessun altro risultato corrispondente a questo perfezionamento)
- Copia autograf. (Nessun altro risultato corrispondente a questo perfezionamento)
- Sovracoperta (Nessun altro risultato corrispondente a questo perfezionamento)
- Con foto (19)
- Non Print on Demand (23)
Lingua (2)
Spedizione gratuita
- Spedizione gratuita in U.S.A. (Nessun altro risultato corrispondente a questo perfezionamento)
Paese del venditore
Valutazione venditore
-
Extensions of Logic Programming: 4th International Workshop, ELP '93, St Andrews, U.K., March 29 - April 1, 1993. Proceedings (Lecture Notes in . / Lecture Notes in Artificial Intelligence)
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Very Good. 0387580255 Ex-library paperback in very nice condition with the usual markings and attachments.
-
Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2000 St Andrews, Scotland, UK, July 3-7, 2000 Proceedings (Lecture Notes in Computer Science)
Da: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Good. 441 pp., Paperback, ex library, else text clean & binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
-
Extensions of Logic Programming. Lecture Notes in Artificial Intelligence, Volume 1050
Editore: Springer, 1996
ISBN 10: 3540609830 ISBN 13: 9783540609834
Da: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Good. 318 pp., ex library, else textually clean and tight, softcover. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
-
Extensions of Logic Programming: 5th International Workshop, ELP '96, Leipzig, Germany, March 28 - 30, 1996. Proceedings. (Lecture Notes in Computer Science, 1050)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New.
-
Extensions of Logic Programming: 4th International Workshop, ELP '93, St Andrews, U.K., March 29 - April 1, 1993. Proceedings (Lecture Notes in Computer Science, 798)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New.
-
Automated Reasoning With Analytic Tableaux and Related Methods : International Conference, Tableaux 2000, st Andrews, Scotland, Uk, July 3-7, 2000 : Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New.
-
Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2000 St Andrews, Scotland, UK, July 3-7, 2000 Proceedings (Lecture Notes in Computer Science, 1847)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New.
-
Automated Reasoning With Analytic Tableaux and Related Methods : International Conference, Tableaux 2000, st Andrews, Scotland, Uk, July 3-7, 2000 : Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition.
-
Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2000 St Andrews, Scotland, UK, July 3-7, 2000 Proceedings (Lecture Notes in Computer Science, 1847)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 58,27
EUR 13,75 shipping
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Extensions of Logic Programming: 5th International Workshop, ELP '96, Leipzig, Germany, March 28 - 30, 1996. Proceedings. (Lecture Notes in Computer Science, 1050)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 58,27
EUR 13,75 shipping
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Extensions of Logic Programming: 4th International Workshop, ELP '93, St Andrews, U.K., March 29 - April 1, 1993. Proceedings (Lecture Notes in Computer Science, 798)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 58,27
EUR 13,75 shipping
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Extensions of Logic Programming : 5th International Workshop, ELP '96, Leipzig, Germany, March 28 - 30, 1996. Proceedings.
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 56,50
EUR 17,77 shipping
Spedito da Regno Unito a U.S.A.Quantità: 10 disponibili
Aggiungi al carrelloPF. Condizione: New.
-
Extensions of Logic Programming: 4th International Workshop, ELP '93, St Andrews, U.K., March 29 - April 1, 1993. Proceedings (Lecture Notes in Computer Science)
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 56,50
EUR 17,77 shipping
Spedito da Regno Unito a U.S.A.Quantità: 10 disponibili
Aggiungi al carrelloPaperback. Condizione: New.
-
Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX 2000 St Andrews, Scotland, UK, July 3-7, 2000 Proc
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 56,66
EUR 17,77 shipping
Spedito da Regno Unito a U.S.A.Quantità: 10 disponibili
Aggiungi al carrelloPF. Condizione: New.
-
Automated Reasoning With Analytic Tableaux and Related Methods : International Conference, Tableaux 2000, st Andrews, Scotland, Uk, July 3-7, 2000 : Proceedings
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 58,26
EUR 17,21 shipping
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Automated Reasoning With Analytic Tableaux and Related Methods : International Conference, Tableaux 2000, st Andrews, Scotland, Uk, July 3-7, 2000 : Proceedings
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 65,83
EUR 17,21 shipping
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2000 St Andrews, Scotland, UK, July 3-7, 2000 Proce
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Valutazione del venditore 5 su 5 stelle
EUR 74,47
EUR 10,50 shipping
Spedito da Irlanda a U.S.A.Quantità: 15 disponibili
Aggiungi al carrelloCondizione: New. 2000. Paperback. . . . . .
-
Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2000 St Andrews, Scotland, UK, July 3-7, 2000 Proce
Da: Kennys Bookstore, Olney, MD, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. 2000. Paperback. . . . . . Books ship from the US and Ireland.
-
Extensions of Logic Programming : 5th International Workshop, ELP '96, Leipzig, Germany, March 28 - 30, 1996. Proceedings.
Lingua: Inglese
Editore: Springer Berlin Heidelberg, 1996
ISBN 10: 3540609830 ISBN 13: 9783540609834
EUR 53,49
EUR 62,53 shipping
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 5th International Workshop on Extensions of Logic Programming, ELP '96, held in Leipzig, Germany in March 1996.The 18 full papers included were carefully selected by the program committee and are presented together with three invited papers. Among the topics addressed in this book are categorical logic programming, correctness of logic programs, functional-logic languages, implementation issues, linear logic programming, nonmonotonic reasoning, and proof search.
-
Extensions of Logic Programming : 4th International Workshop, ELP '93, St Andrews, U.K., March 29 - April 1, 1993. Proceedings
Lingua: Inglese
Editore: Springer Berlin Heidelberg, 1994
ISBN 10: 3540580255 ISBN 13: 9783540580256
EUR 53,49
EUR 62,85 shipping
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - The papers in this volume are extended versions of presentations at the fourth International Workshop on Extensions of Logic Programming, held at the University of St Andrews, March/April 1993. Among the topics covered in the volume are: defintional reflection and completion, modules in lambda-Prolog, representation of logics as partial inductive definitions, non-procedural logic programming, knowledge representation, contradiction avoidance, disjunctive databases, strong negation, linear logic programming, proof theory and regular search spaces, finite sets and constraint logic programming, search-space pruning and universal algebra, and implementation on transputer networks.
-
Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX 2000 St Andrews, Scotland, UK, July 3-7, 2000 Proceedings
Lingua: Inglese
Editore: Springer Berlin Heidelberg, 2000
ISBN 10: 354067697X ISBN 13: 9783540676973
EUR 53,49
EUR 63,43 shipping
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the main papers presented at the International Conference on Analytic Tableaux and Related Methods (TABLEAUX 2000) held on July 3 7, 2000 in St Andrews, Scotland. This conference succeeded other meetings on the same topic held in Lautenbach (1992), Marseille (1993), Abingdon (1994), St Goar (1995), Terrasini (1996), Pont-` a-Mousson (1997), Oisterwijk (1998) and Saratoga Springs (1999). Tableaux and related methods, such as Gentzen calculi, are convenient and e ective for automating deduction not just in classical logic but also in various non-standard logics. Examples taken from this meeting alone include temporal, description, non-monotonic, tense, modal, epistemic, fuzzy and intuitionistic - gics. Areas of application include veri cation of software and computer systems, deductive databases, knowledge representation and system diagnosis. The c- ference brought together researchers interested in all aspects theoretical fo- dations, implementation techniques, systems development, experimental com- rison and applications of the automation of reasoning by means of tableaux or related methods.
-
Affare
EUR 37,96
EUR 105,00 shipping
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Sehr gut. Zustand: Sehr gut | Seiten: 376 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
-
Automated Reasoning with Analytic Tableaux and Related Methods
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 456.
-
Extensions of Logic Programming
Lingua: Inglese
Editore: Springer Berlin Heidelberg, Springer Mär 1996, 1996
ISBN 10: 3540609830 ISBN 13: 9783540609834
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
EUR 53,49
EUR 23,00 shipping
Spedito da Germania a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 5th International Workshop on Extensions of Logic Programming, ELP '96, held in Leipzig, Germany in March 1996.The 18 full papers included were carefully selected by the program committee and are presented together with three invited papers. Among the topics addressed in this book are categorical logic programming, correctness of logic programs, functional-logic languages, implementation issues, linear logic programming, nonmonotonic reasoning, and proof search. 332 pp. Englisch.
-
Automated Reasoning with Analytic Tableaux and Related Methods
Lingua: Inglese
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Jun 2000, 2000
ISBN 10: 354067697X ISBN 13: 9783540676973
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
EUR 53,49
EUR 23,00 shipping
Spedito da Germania a U.S.A.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 main papers presented at the International Conference on Analytic Tableaux and Related Methods (TABLEAUX 2000) held on July 3 7, 2000 in St Andrews, Scotland. This conference succeeded other meetings on the same topic held in Lautenbach (1992), Marseille (1993), Abingdon (1994), St Goar (1995), Terrasini (1996), Pont-` a-Mousson (1997), Oisterwijk (1998) and Saratoga Springs (1999). Tableaux and related methods, such as Gentzen calculi, are convenient and e ective for automating deduction not just in classical logic but also in various non-standard logics. Examples taken from this meeting alone include temporal, description, non-monotonic, tense, modal, epistemic, fuzzy and intuitionistic - gics. Areas of application include veri cation of software and computer systems, deductive databases, knowledge representation and system diagnosis. The c- ference brought together researchers interested in all aspects theoretical fo- dations, implementation techniques, systems development, experimental com- rison and applications of the automation of reasoning by means of tableaux or related methods. 456 pp. Englisch.
-
Extensions of Logic Programming
Lingua: Inglese
Editore: Springer Berlin Heidelberg Mai 1994, 1994
ISBN 10: 3540580255 ISBN 13: 9783540580256
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
EUR 53,49
EUR 23,00 shipping
Spedito da Germania a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The papers in this volume are extended versions of presentations at the fourth International Workshop on Extensions of Logic Programming, held at the University of St Andrews, March/April 1993. Among the topics covered in the volume are: defintional reflection and completion, modules in lambda-Prolog, representation of logics as partial inductive definitions, non-procedural logic programming, knowledge representation, contradiction avoidance, disjunctive databases, strong negation, linear logic programming, proof theory and regular search spaces, finite sets and constraint logic programming, search-space pruning and universal algebra, and implementation on transputer networks. 376 pp. Englisch.
-
Extensions of Logic Programming
Lingua: Inglese
Editore: Springer Berlin Heidelberg, 1996
ISBN 10: 3540609830 ISBN 13: 9783540609834
EUR 48,37
EUR 48,99 shipping
Spedito da Germania a U.S.A.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 book constitutes the refereed proceedings of the 5th International Workshop on Extensions of Logic Programming, ELP 96, held in Leipzig, Germany in March 1996.The 18 full papers included were carefully selected by the program committee and are pre.
-
Automated Reasoning with Analytic Tableaux and Related Methods
Lingua: Inglese
Editore: Springer Berlin Heidelberg, 2000
ISBN 10: 354067697X ISBN 13: 9783540676973
EUR 48,37
EUR 48,99 shipping
Spedito da Germania a U.S.A.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. Invited Lectures.- Tableau Algorithms for Description Logics.- Modality and Databases.- Local Symmetries in Propositional Logic.- Comparison.- Design and Results of TANCS-2000 Non-classical (Modal) Systems Comparison.- Consistency Testing: The RACE Experien.
-
Extensions of Logic Programming
Lingua: Inglese
Editore: Springer Berlin Heidelberg, 1994
ISBN 10: 3540580255 ISBN 13: 9783540580256
EUR 48,37
EUR 48,99 shipping
Spedito da Germania a U.S.A.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. The papers in this volume are extended versions of presentations at the fourth International Workshop on Extensions of Logic Programming, held at the University of St Andrews, March/April 1993. Among the topics covered in the volume are: defintional reflect.
-
Extensions of Logic Programming
Lingua: Inglese
Editore: Springer Berlin Heidelberg Mär 1996, 1996
ISBN 10: 3540609830 ISBN 13: 9783540609834
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
EUR 53,49
EUR 60,00 shipping
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book constitutes the refereed proceedings of the 5th International Workshop on Extensions of Logic Programming, ELP '96, held in Leipzig, Germany in March 1996.The 18 full papers included were carefully selected by the program committee and are presented together with three invited papers. Among the topics addressed in this book are categorical logic programming, correctness of logic programs, functional-logic languages, implementation issues, linear logic programming, nonmonotonic reasoning, and proof search.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 332 pp. Englisch.
