- 0 resultaten
laagste prijs: € 134,24, hoogste prijs: € 189,07, gemiddelde prijs: € 167,83
1
Automated Model Building - Caferra, Ricardo Leitsch, Alexander Peltier, Nicolas
bestellen
bij booklooker.de
€ 151,95
bestellen
Caferra, Ricardo Leitsch, Alexander Peltier, Nicolas:

Automated Model Building - pocketboek

2010, ISBN: 9789048166961

[ED: Softcover], [PU: Springer Netherlands], On the history of the book: In the early 1990s several new methods and perspectives in au- mated deduction emerged. We just mention the superp… Meer...

  - Verzendingskosten:zzgl. Versandkosten, exclusief verzendingskosten buecher.de GmbH & Co. KG
2
Automated Model Building - Caferra, Ricardo; Leitsch, Alexander; Peltier, Nicolas
bestellen
bij Achtung-Buecher.de
€ 189,07
verzending: € 0,00
bestellen

Caferra, Ricardo; Leitsch, Alexander; Peltier, Nicolas:

Automated Model Building - pocketboek

2010, ISBN: 9048166969

gebonden uitgave

Softcover reprint of hardcover 1st ed. 2004 Kartoniert / Broschiert Mathematische Grundlagen, Philosophie: Logik, ArtificialIntelligence; automateddeduction; intelligence; logic, mit Sc… Meer...

Verzendingskosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
3
Automated Model Building - Ricardo Caferra/ Alexander Leitsch/ Nicolas Peltier
bestellen
bij Hugendubel.de
€ 181,99
verzending: € 0,00
bestellen
Ricardo Caferra/ Alexander Leitsch/ Nicolas Peltier:
Automated Model Building - pocketboek

2004

ISBN: 9048166969

gebonden uitgave

Automated Model Building ab 181.99 € als Taschenbuch: Softcover reprint of hardcover 1st ed. 2004. Aus dem Bereich: Bücher, Wissenschaft, Philosophie, Medien > Bücher, Springer Netherlands

Nr. 13447666. Verzendingskosten:, , DE. (EUR 0.00)
Betaalde advertentie
4
Automated Model Building - Ricardo Caferra; Alexander Leitsch; Nicolas Peltier
bestellen
bij Springer.com
€ 181,89
bestellen
Ricardo Caferra; Alexander Leitsch; Nicolas Peltier:
Automated Model Building - nieuw boek

ISBN: 9789048166961

Philosophy; Logic; Mathematical Logic and Foundations artificial intelligence, automated deduction, intelligence, logic Books, Springer Shop

  - Verzendingskosten:zzgl. Versandkosten., exclusief verzendingskosten
5
Automated Model Building - Alexander Leitsc  Ricardo Caferra
bestellen
bij Printsasia
$ 183,40
(ongeveer € 134,24)
bestellen
Alexander Leitsc Ricardo Caferra:
Automated Model Building - nieuw boek

ISBN: 9789048166961

NA, Springer

  - new Verzendingskosten:zzgl. Versandkosten, exclusief verzendingskosten

Bijzonderheden over het boek
Automated Model Building

This is the first book on automated model building, a discipline of automated deduction that is of growing importance. Although models and their construction are important per se, automated model building has appeared as a natural enrichment of automated deduction, especially in the attempt to capture the human way of reasoning. The book provides an historical overview of the field of automated deduction, and presents the foundations of different existing approaches to model construction, in particular those developed by the authors. Finite and infinite model building techniques are presented. The main emphasis is on calculi-based methods, and relevant practical results are provided. The book is of interest to researchers and graduate students in computer science, computational logic and artificial intelligence. It can also be used as a textbook in advanced undergraduate courses.

Gedetalleerde informatie over het boek. - Automated Model Building


EAN (ISBN-13): 9789048166961
ISBN (ISBN-10): 9048166969
Gebonden uitgave
pocket book
Verschijningsjaar: 2010
Uitgever: Springer-Verlag GmbH
356 Bladzijden
Gewicht: 0,539 kg
Taal: eng/Englisch

Boek bevindt zich in het datenbestand sinds 2011-05-31T21:51:34+02:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2021-04-05T17:17:02+02:00 (Amsterdam)
ISBN/EAN: 9789048166961

ISBN - alternatieve schrijfwijzen:
90-481-6696-9, 978-90-481-6696-1


Andere boeken die eventueel grote overeenkomsten met dit boek kunnen hebben:

Laatste soortgelijke boek:
9781402026539 Automated Model Building (Ricardo Caferra; Alexander Leitsch; Nicolas Peltier)


< naar Archief...