Zurück
Vor

Automated Deduction - CADE-25
Kurzinformation
Sprache:
Englisch
ISBN:
3319214004
Verlag:
Seitenzahl:
640
Auflage:
-
Erschienen:
2015-09-14



inkl. MwSt. Versandinformationen
Artikel zZt. nicht lieferbar
Artikel zZt. nicht lieferbar
Weitere Zahlungsmöglichkeiten

Beschreibung
Automated Deduction - CADE-25
25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings
This book constitutes the proceedings of the 25th International Conference on Automated Deduction, CADE-25, held in Berlin, Germany, in August 2015.The 36 revised full papers presented ( 24 full papers and 12 system descriptions) were carefully reviewed and selected from 85 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations and practical experience. von Felty, Amy P. und Middeldorp, Aart
Produktdetails
Einband:
Kartoniert
Seitenzahl:
640
Erschienen:
2015-09-14
Sprache:
Englisch
EAN:
9783319214009
ISBN:
3319214004
Verlag:
Gewicht:
996 g
Auflage:
-

Alle gebrauchten Bücher werden von uns handgeprüft.
So garantieren wir Dir zu jeder Zeit Premiumqualität.
So garantieren wir Dir zu jeder Zeit Premiumqualität.
Über den Autor
Neu
53,49 €
Entdecke mehr zum Thema
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-83%
- Hardcover
- 504 Seiten
- Erschienen 1973
- Springer
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Troelstra, Anne S.
11,68 €
69,54 €
frontend/listing/product-box/box-product-slider.tpl
-84%
- Hardcover
- 388 Seiten
- Erschienen 1993
- Springer
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Fritzson, Peter A.
8,40 €
53,49 €
frontend/listing/product-box/box-product-slider.tpl
-96%
frontend/listing/product-box/box-product-slider.tpl
-35%
frontend/listing/product-box/box-product-slider.tpl
-36%
- paperback
- 500 Seiten
- Erschienen 2008
- Springer
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Katoen, Joost-Pieter
36,83 €
57,23 €
frontend/listing/product-box/box-product-slider.tpl
-83%
- Hardcover
- 300 Seiten
- Erschienen 1971
- Springer
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Scarpellini, Bruno
7,19 €
42,75 €
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-85%
frontend/listing/product-box/box-product-slider.tpl
-57%
- Kartoniert
- 736 Seiten
- Erschienen 2007
- Springer
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Grumberg, Orna und Huth, Mi...
49,35 €
114,48 €
frontend/listing/product-box/box-product-slider.tpl
-90%
- Kartoniert
- 392 Seiten
- Erschienen 2007
- Springer
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Edmonds, Philip und Agirre,...
11,06 €
106,99 €
frontend/listing/product-box/box-product-slider.tpl
-85%
- Hardcover
- 228 Seiten
- Erschienen 1989
- Springer
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Pohlers, Wolfram
12,34 €
80,24 €
frontend/listing/product-box/box-product-slider.tpl
-92%
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-92%
frontend/listing/product-box/box-product-slider.tpl
-93%
- Gebunden
- 334 Seiten
- Erschienen 2007
- Springer
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Zhu, Joe und Cook, Wade D.
8,44 €
114,50 €
frontend/listing/product-box/box-product-slider.tpl
-83%
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-39%
- Kartoniert
- 729 Seiten
- Erschienen 2006
- Springer Berlin Heidelberg
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Bugliesi, Michele und Prene...
70,20 €
114,48 €
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-84%
- hardcover
- 608 Seiten
- Erschienen 1992
- Springer
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Labahn, George
25,21 €
160,49 €
frontend/listing/product-box/box-product-slider.tpl
-84%
frontend/listing/product-box/box-product-slider.tpl
-91%
- Hardcover
- 324 Seiten
- Erschienen 2002
- Springer
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Hansmann, Uwe;Nicklous, Mar...
9,73 €
114,48 €
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-94%
- Kartoniert
- 1249 Seiten
- Erschienen 2009
- Springer
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Jiang, Xiaoyi und Petkov, N...
9,81 €
160,49 €
frontend/listing/product-box/box-product-slider.tpl
-83%
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-83%
- Taschenbuch
- 242 Seiten
- Erschienen 2008
- Dover Pubn Inc
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Moschovakis, Yiannis N
2,58 €
15,00 €
frontend/listing/product-box/box-product-slider.tpl
-35%
frontend/listing/product-box/box-product-slider.tpl
-80%
- paperback
- 268 Seiten
- Erschienen 2014
- Routledge
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Detlefsen, Michael
14,31 €
70,19 €
frontend/listing/product-box/box-product-slider.tpl
-80%
frontend/listing/product-box/box-product-slider.tpl
-96%
- Hardcover
- 220 Seiten
- Erschienen 2004
- Elsevier Science
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Carpineto, Claudio;Romano, ...
6,05 €
138,50 €
frontend/listing/product-box/box-product-slider.tpl
-82%
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-5%
- paperback
- 340 Seiten
- Erschienen 2000
- Mathematical Association of...
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Hadlock, Charles Robert (Be...
33,56 €
35,50 €
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-84%
frontend/listing/product-box/box-product-slider.tpl