- 5 Risultati
prezzo più basso: € 106,45, prezzo più alto: € 148,83, prezzo medio: € 128,94
1
10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24-27, 1990. Proceedings (Lecture Notes in Computer Science, 449, Band 449)
Ordina
da amazon.de
€ 148,83
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato

10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24-27, 1990. Proceedings (Lecture Notes in Computer Science, 449, Band 449) - edizione con copertina flessibile

2008, ISBN: 9783540528852

Springer Berlin Heidelberg, Taschenbuch, Auflage: 1990, 708 Seiten, Publiziert: 2008-10-10T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: 6891038, 2.15 kg, Informatik, IT-Ausbildung & -B… Altro …

Costi di spedizione:Auf Lager, Lieferung von Amazon. (EUR 0.00) Amazon.de
Chiudere (X)
2
10th International Conference on Automated Deduction - Stickel, Mark E.
Ordina
da booklooker.de
€ 106,45
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato

Stickel, Mark E.:

10th International Conference on Automated Deduction - edizione con copertina flessibile

1990, ISBN: 9783540528852

[ED: Kartoniert / Broschiert], [PU: Springer Berlin Heidelberg], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This volume contains the … Altro …

Costi di spedizione:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Moluna GmbH
Chiudere (X)
3
10th International Conference on Automated Deduction Kaiserslautern, FRG, July 24-27, 1990. Proceedings - Stickel, Mark E. (Herausgeber)
Ordina
da Achtung-Buecher.de
€ 133,46
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato
Stickel, Mark E. (Herausgeber):
10th International Conference on Automated Deduction Kaiserslautern, FRG, July 24-27, 1990. Proceedings - nuovo libro

1990

ISBN: 3540528857

1990 Kartoniert / Broschiert Intelligenz / Künstliche Intelligenz, KI, Künstliche Intelligenz - AI, Künstliche Intelligenz, ArtificialIntelligence; Automat; Resolution; automateddeducti… Altro …

Costi di spedizione:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
Chiudere (X)
4
10th International Conference on Automated Deduction - Mark E. Stickel
Ordina
da Hugendubel.de
€ 138,99
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato
Mark E. Stickel:
10th International Conference on Automated Deduction - edizione con copertina flessibile

ISBN: 9783540528852

*10th International Conference on Automated Deduction* - Kaiserslautern FRG July 24-27 1990. Proceedings. Auflage 1990 / Taschenbuch für 138.99 € / Aus dem Bereich: Bücher, Ratgeber, Comp… Altro …

3540528857. Costi di spedizione:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)
Chiudere (X)
5
Ordina
da Biblio.co.uk
$ 127,18
(indicativi € 116,98)
Spedizione: € 17,271
Ordina
Dettagli del offerente
Link sponsorizzato
Stickel, Mark E. [Editor]:
10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24-27, 1990. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence) - edizione con copertina flessibile

1990, ISBN: 9783540528852

Springer, 1990-07-17. Paperback. Good. 7x1x9. Ex-library paperback in nice condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. T… Altro …

Costi di spedizione: EUR 17.27 GuthrieBooks
Chiudere (X)
1Poiché alcune piattaforme non trasmettono le condizioni di spedizione e queste possono dipendere dal paese di consegna, dal prezzo di acquisto, dal peso e dalle dimensioni dell'articolo, dall'eventuale iscrizione alla piattaforma, dalla consegna diretta da parte della piattaforma o tramite un fornitore terzo (Marketplace), ecc. è possibile che le spese di spedizione indicate da eurolibro non corrispondano a quelle della piattaforma offerente.

Dati bibliografici del miglior libro corrispondente

Dettagli del libro
10th International Conference on Automated Deduction
Autore:
Titolo:
ISBN:

3540528857


This volume contains the papers presented at the 10th International Conference on Automated Deduction (CADE-10). CADE is the major forum at which research on all aspects of automated deduction is presented. Although automated deduction research is also presented at more general artificial intelligence conferences, the CADE conferences have no peer in the concentration and quality of their contributions to this topic. The papers included range from theory to implementation and experimentation, from propositional to higher-order calculi and nonclassical logics; they refine and use a wealth of methods including resolution, paramodulation, rewriting, completion, unification and induction; and they work with a variety of applications including program verification, logic programming, deductive databases, and theorem proving in many domains. The volume also contains abstracts of 20 implementations of automated deduction systems. The authors of about half the papers are from the United States, many are from Western Europe, and many too are from the rest of the world. The proceedings of the 5th, 6th, 7th, 8th and 9th CADE conferences are published as Volumes 87, 138, 170, 230, 310 in the series Lecture Notes in Computer Science.

Informazioni dettagliate del libro - 10th International Conference on Automated Deduction


EAN (ISBN-13): 9783540528852
ISBN (ISBN-10): 3540528857
Copertina flessibile
Anno di pubblicazione: 1990
Editore: Springer Berlin Heidelberg
688 Pagine
Peso: 1,052 kg

Libro nella banca dati dal 2007-06-21T06:03:27+02:00 (Zurich)
Pagina di dettaglio ultima modifica in 2023-11-20T20:52:51+01:00 (Zurich)
ISBN/EAN: 3540528857

ISBN - Stili di scrittura alternativi:
3-540-52885-7, 978-3-540-52885-2
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : stickel
Titolo del libro: 10th, deduction, july july, tenth, international conference computer science, kaiserslautern, frg, proceedings artificial intelligence conference, lecture notes artificial intelligence

Altri libri che potrebbero essere simili a questo:

Ultimo libro simile:
9783540471714 10th International Conference on Automated Deduction (Mark E. Stickel)

< Per archiviare...