Automated Deduction - CADE 21. Lecture Notes in Computer Science, Band 4603
von Frank Pfenning
- buch.de-Verkaufsrang:
- ISBN-10:
- 3-540-73594-1
- ISBN-13:
- 978-3-540-73594-6
- Erschienen:
- 07.2007
- Sofort lieferbar
- Aus der Reihe:
- «Lecture Notes in Computer Science»
- Einband: kartoniert/broschiert
- Sonstiges:
- XII, 235 mm
- Seitenzahl:
- 522
- Gewicht:
- 778 g
- Erschienen bei:
- Springer
- Mehr über...
- Mehr über: Intelligenz / Künstliche Intelligenz, Logikprogrammierung, KI, Künstliche Intelligenz - AI, AI ( Künstliche Intelligenz )
- Mehr von:
- Mehr von: Frank Pfenning, Springer-Verlag GmbH
Kurzbeschreibung
This book constitutes the refereed proceedings of the 21st International Conference on Automated Deduction, CADE-21, held in Bremen, Germany, in July 2007.
The 28 revised full papers and 6 system descriptions presented were carefully reviewed and selected from 64 submissions. All current aspects of automated deduction are addressed, ranging from theoretical and methodological issues to presentation and evaluation of theorem provers and logical reasoning systems. The papers are organized in topical sections on higher-order logic, description logic, intuitionistic logic, satisfiability modulo theories, induction, rewriting, and polymorphism, first-order logic, model checking and verification, termination, as well as tableaux and first-order systems.
€ 68,48
Empfehlungen:
Die Bremer Stadtmusikanten. Plattdeutsche AusgabeEUR 12,90
- Study Skills für Naturwissenschaftler und Ingenieure. Studium Scientific ToolsEUR 29,95
- Der ZeitdiebEUR 7,90
- Bei Einbruch der NachtEUR 8,50
- Der Armageddon-Zyklus 5. Die Besessenen. Science Fiction, Band 23233EUR 9,95
- Wenn die Seele leidetEUR 19,95
- Die Götter waren Astronauten!EUR 8,90
- In Gottes Namen?EUR 19,95
- Literary Pilgrimages in New England to the Homes of Famous Makers of American Literature and Among Their Haunts and the Scenes of Their Writings, VoluEUR 32,00
- Handbook of German Vocabulary (1850)EUR 29,20
- True Stories of the Great War (Volume 3); Tales of Adventure--Heroic Deeds--Exploits Told by the Soldiers, Officers, Nurses, Diplomats, EyeEUR 18,90
- Herland [Easyread Comfort Edition]EUR 11,10
- Claudia: The Days of Martyrdom, a TaleEUR 13,02
- Rhone-Alpes / Savoyen-Savoie. 1 : 180 000. Straßenkarte. Kümmerly- und Frey-Karten, Blatt 13EUR 9,90
- Golf Clubs and Courses Designed by Alister MacKenzie: Augusta National Golf Club, Limerick Golf Club, Cypress Point ClubEUR 10,70
Mehr über:
- Pepito-MusikVerlag Michael Sulkic
- Simon + Leutner Verlag
- SKN Druck- und Verlag GmbH & Co.
- SchulVerlag blmv AG
- Jöwi-Publishing & Entertainment Limited
- schwarz weiß Jahresplaner online erstellen
- creating t-shirts company
- carte de visite a bas prix
- liggen
- samplepka
- folios diseño propio
- cartoline per presentazione