Importo totale (1 articolo articoli):
Destinazione ordine:
robert nieuwenhuis (48 risultati)
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (48)
- 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 (39)
- Come nuovo, Ottimo o Quasi ottimo (3)
- Molto buono o Buono (6)
- Discreto o Mediocre (Nessun altro risultato corrispondente a questo perfezionamento)
- Come descritto (Nessun altro risultato corrispondente a questo perfezionamento)
Legatura
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 (18)
- Non Print on Demand (35)
Lingua (2)
Spedizione gratuita
Paese del venditore
Valutazione venditore
-
Logic for Programming, Artificial Intelligence, and Reasoning: 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings . / Lecture Notes in Artificial Intelligence)
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 6,19
Convertire valutaEUR 6,01 per la spedizione in U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Very Good. We are unable to ship to Canada at this time.Ex-library paperback in very nice condition with the usual markings and attachments.
-
Rewriting Techniques and Applications: 14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003, Proceedings (Lecture Notes in Computer Science)
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 17,70
Convertire valutaEUR 6,01 per la spedizione in U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Very Good. We are unable to ship to Canada at this time.Ex-library paperback in very nice condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding.
-
Automated Deduction â" CADE-20: 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings (Lecture Notes in Computer Science, 3632)
Da: BooksRun, Philadelphia, PA, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 33,60
Convertire valutaGratis per la spedizione in U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Good. 2005. It's a preowned item in good condition and includes all the pages. It may have some general signs of wear and tear, such as markings, highlighting, slight damage to the cover, minimal wear to the binding, etc., but they will not affect the overall reading experience.
-
EUR 41,25
Convertire valutaEUR 3,66 per la spedizione in U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: new.
-
Automated Deduction - CADE-20: 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings (Lecture Notes in Computer Science)
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 42,34
Convertire valutaEUR 6,01 per la spedizione in U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Very Good. We are unable to ship to Canada at this time.Ex-library paperback in very nice condition with the usual markings and attachments.
-
Rewriting Techniques and Applications : 14th International Conference, Rta 2003, Valencia, Spain, June 2003 : Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 54,34
Convertire valutaEUR 2,27 per la spedizione in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Rewriting Techniques and Applications: 14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003, Proceedings (Lecture Notes in Computer Science, 2706)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 53,15
Convertire valutaEUR 3,43 per la spedizione in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Automated Deduction - CADE-20: 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings (Lecture Notes in Computer Science, 3632)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 53,15
Convertire valutaEUR 3,43 per la spedizione in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Rewriting Techniques and Applications : 14th International Conference, Rta 2003, Valencia, Spain, June 2003 : Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 61,80
Convertire valutaEUR 2,27 per la spedizione in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Automated Deduction - CADE-20: 20th International Conference on Automated Deduction, Tallinn, Estonia, July 2005 Proceedings (Lecture Notes in Artificial Intelligence, Band 3632).
Editore: Berlin, Heidelberg: Springer-Verlag, 2005
ISBN 10: 3540280057 ISBN 13: 9783540280057
Lingua: Inglese
Da: Antiquariat Bernhardt, Kassel, Germania
Valutazione del venditore 5 su 5 stelle
EUR 28,00
Convertire valutaEUR 35,95 per la spedizione da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloBroschiert. Condizione: Gut. Lecture Notes in Artificial Intelligence, Band 3632. Zust: Gutes Exemplar. Cover und Buchrücken mit Gebrauchsspuren. Mit Vorbesitzereintrag. XIII, 457 Seiten, Englisch 700g.
-
Rewriting Techniques and Applications: 14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003, Proceedings (Lecture Notes in Computer Science)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 53,79
Convertire valutaEUR 13,71 per la spedizione da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Rewriting Techniques and Applications : 14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003, Proceedings
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 50,26
Convertire valutaEUR 17,73 per la spedizione da Regno Unito a U.S.A.Quantità: 10 disponibili
Aggiungi al carrelloPF. Condizione: New.
-
Automated Deduction - CADE-20: 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings (Lecture Notes in Computer Science, 3632)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 57,92
Convertire valutaEUR 13,71 per la spedizione da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Rewriting Techniques and Applications: 14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003, Proceedings (Lecture Notes in Computer Science, 2706)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 57,92
Convertire valutaEUR 13,71 per la spedizione da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Automated Deduction - CADE-20 : 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 56,56
Convertire valutaEUR 17,73 per la spedizione da Regno Unito a U.S.A.Quantità: 10 disponibili
Aggiungi al carrelloPF. Condizione: New.
-
Rewriting Techniques and Applications : 14th International Conference, Rta 2003, Valencia, Spain, June 2003 : Proceedings
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 57,91
Convertire valutaEUR 17,17 per la spedizione da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Automated Deduction - CADE-20
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
EUR 78,95
Convertire valutaEUR 3,43 per la spedizione in U.S.A.Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. pp. 478.
-
Rewriting Techniques and Applications : 14th International Conference, Rta 2003, Valencia, Spain, June 2003 : Proceedings
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 65,72
Convertire valutaEUR 17,17 per la spedizione da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
EUR 24,49
Convertire valutaEUR 24,95 per la spedizione da Paesi Bassi a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Very good. Baeken, Serge; Van Der Steen, Wilbert; Van Gasse, Lies; Van Raffe, Robert; Peeters, Sam; De Saeger, Maarten; Frantzen, Delphine; Steeman, Ruben (illustratore).
-
EUR 86,12
Convertire valutaEUR 3,66 per la spedizione in U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: new.
-
Automated Deduction - Cade-20: 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 81,21
Convertire valutaEUR 14,31 per la spedizione da Regno Unito a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 1st edition. 472 pages. 9.25x6.25x1.00 inches. In Stock.
-
Logic for Programming, Artificial Intelligence, and Reasoning: 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings (Lecture Notes in Computer Science, 2250)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 104,69
Convertire valutaEUR 3,43 per la spedizione in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Rewriting Techniques and Applications
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Mai 2003, 2003
ISBN 10: 3540402543 ISBN 13: 9783540402541
Lingua: Inglese
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
EUR 53,49
Convertire valutaEUR 60,00 per la spedizione da Germania a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Neuware -The refereed proceedings of the 14th International Conference on Rewriting Techniques and Applications, RTA 2003, held in Valencia, Spain in June 2003.The 26 revised regular papers and 6 system descriptions presented together with 3 invited contributions were carefully reviewed and selected from 61 submissions. All current aspects of rewriting are addressed. 532 pp. Englisch.
-
Automated Deduction - CADE-20
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Jul 2005, 2005
ISBN 10: 3540280057 ISBN 13: 9783540280057
Lingua: Inglese
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
EUR 53,49
Convertire valutaEUR 60,00 per la spedizione da Germania a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Neuware -authors. The merits of the submissions were d- cussed by the programcommittee for ten days through the Internet by means of the EasyChair system. Finally, the program committee selected for publication 25 regular research papers and 5 system descriptions.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 480 pp. Englisch.
-
Automated Deduction ¿ CADE-20 : 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings
Editore: Springer Berlin Heidelberg, 2005
ISBN 10: 3540280057 ISBN 13: 9783540280057
Lingua: Inglese
EUR 53,49
Convertire valutaEUR 63,61 per la spedizione 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 proceedings of the 20th International Conference on AutomatedDeduction (CADE-20).ItwasheldJuly22 27,2005inTallinn,Es- nia,togetherwiththeWorkshoponConstraintsinFormalVeri cation(CFV 05), the Workshop on Empirically Successful Classical Automated Reasoning (ES- CAR), the Workshop on Non-Theorems, Non-Validity, Non-Provability (DIS- PROVING), and the yearly CADE ATP System Competition (CASC). CADE is the major forum for the presentation of research in all aspects of automated deduction. The rst CADE conference was held in 1974. Early CADEs were mostly biennial, and annual conferences started in 1996. Logics of interest include propositional, rst-order, equational, higher-order, classical, intuitionistic, constructive, modal, temporal, many-valued, substr- tural, description, and meta-logics, logical frameworks, type theory and set t- ory. Methods of interest include saturation, resolution, tableaux, sequent calculi, term rewriting, induction, uni cation, constraint solving, decision procedures, model generation,model checking,natural deduction, proofplanning, proof p- sentation, proof checking, and explanation. Applications of interest include hardwareand softwaredevelopment,systems analysisandveri cation,deductivedatabases,functionalandlogicprogramming, computer mathematics, natural language processing, computational linguistics, robotics, planning, knowledge representation, and other areas of AI. This year, there were 78 submissions, of which 9 system descriptions. Each submissionwasassignedto atleastfour programcommitteemembers,whoca- fully reviewed the papers, in many cases with the help of one or more of a total number of 115 external referees. For each submission at least four reviews were produced and forwarded to the authors. The merits of the submissions were d- cussed by the programcommittee for ten days through the Internet by means of the EasyChair system. Finally, the program committee selected for publication 25 regular research papers and 5 system descriptions.
-
Rewriting Techniques and Applications : 14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003, Proceedings
Editore: Springer Berlin Heidelberg, 2003
ISBN 10: 3540402543 ISBN 13: 9783540402541
Lingua: Inglese
EUR 53,49
Convertire valutaEUR 63,99 per la spedizione da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - The refereed proceedings of the 14th International Conference on Rewriting Techniques and Applications, RTA 2003, held in Valencia, Spain in June 2003.The 26 revised regular papers and 6 system descriptions presented together with 3 invited contributions were carefully reviewed and selected from 61 submissions. All current aspects of rewriting are addressed.
-
EUR 50,10
Convertire valutaEUR 70,00 per la spedizione da Germania a U.S.A.Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Rewriting Techniques and Applications | 14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003, Proceedings | Robert Nieuwenhuis | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2003 | Springer-Verlag GmbH | EAN 9783540402541 | Verantwortliche Person für die EU: Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu.
-
Logic for Programming, Artificial Intelligence, and Reasoning: 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings (Lecture Notes in Computer Science, 2250)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 110,98
Convertire valutaEUR 13,71 per la spedizione da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Automated Deduction CADE-20: 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings (Lecture Notes in Computer Science, 3632)
Da: Mispah books, Redhill, SURRE, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 106,11
Convertire valutaEUR 28,62 per la spedizione da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Like New. Like New. book.
-
EUR 95,55
Convertire valutaEUR 70,00 per la spedizione da Germania a U.S.A.Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Logic for Programming, Artificial Intelligence, and Reasoning | 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings | Andrei Voronkov (u. a.) | Taschenbuch | xv | Englisch | 2001 | Springer Berlin | EAN 9783540429579 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
