Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
Kostenloser Versand mit Zásilkovna ab 69.99 €
Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €
phone Kontakt phoneWie einkaufen

Automated Deduction - CADE-19

19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings

Sprache EnglischEnglisch
Buch Broschur
Buch Automated Deduction - CADE-19 Franz Baader
Libristo-Code: 01562844
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Juli 2003
The refereed proceedings of the 19th International Conference on Automated Deduction, CADE 2003, hel... Vollständige Beschreibung
? points 132 b
53.79 € inkl. MwSt.
Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Videnia 1: Život Preblahoslavenej Panny Márie Anna Katarína Emmerichová / Buch Hardcover
common.buy 24.19 €
brava veterinaria. Facciamo che ero Donata Quagliotti / Buch Hardcover
common.buy 21.39 €
A Era da Libertaç?o na LIGAO & O Rescaldo da Segunda Guerra Mundial 1944-1945 Marilou D. Tino / Buch Broschur
common.buy 40.99 €
Obesit? e riserva ovarica Manal Mohammed Ali / Buch Broschur
common.buy 37.29 €
CAMINAR SOBRE HIELO (+12 AÑOS) (ERIZONTE) VALLS / Buch Broschur
common.buy 17.19 €
Niño GARCIA MAÑA / Buch Broschur
common.buy 17.39 €
Einmal mit Alles Daniel Esswein / Buch Hardcover
common.buy 45.00 €
Ján Ondruš Básnické dielo Ján Ondruš / Buch Broschur
common.buy 11.19 €
Dřevěné kostky Zvířátka 2 kostky / Spiel/Spielzeug Spielzeug
common.buy 5.79 €
LOS MEJORES DESTINOS DEL ROMÁNICO EN ESPAÑA JAIME COBREROS / Buch Hardcover
common.buy 22.39 €
Daltonismo-¿de qué color lo ves? Violeta Crespo / Buch Broschur
common.buy 14.29 €
Der Murks mit der Milch Max O. Bruker / Buch Broschur
common.buy 18.80 €
Demnächst
Lehrbuch Dieter Blohm / Buch Hardcover
common.buy 57.59 €
Norm, Person, Gesellschaft. Günther Jakobs / Buch Broschur
common.buy 29.90 €
Die uneheliche Mutterschaft im altösterreichischen Polizeirecht des 16. bis 18. Jahrhunderts, dargestellt am Tatbestand der Fornication. Egon Conrad Ellrichshausen / Buch Broschur
common.buy 49.90 €
Česko-slovenské vztahy 10 let po rozpadu federace Peter Kolesár / Buch binding.
common.buy 3.79 €
Dárkové krabičky ve tvaru hvězdy 6 kusů / Papier- und Schreibwaren Papier- und Schreibwaren
common.buy 7.59 €

The refereed proceedings of the 19th International Conference on Automated Deduction, CADE 2003, held in Miami Beach, FL, USA in July 2003.§The 29 revised full papers and 7 system description papers presented together with an invited paper and 3 abstracts of invited talks were carefully reviewed and selected from 83 submissions. All current aspects of automated deduction are discussed, ranging from theoretical and methodological issues to the presentation of new theorem provers and systems.

Schauspielerin & Polyglotte
EWA KASP für
Video abspielen
Ewa Kasp
Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Automated Deduction - CADE-19
Autor Franz Baader
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2003
Anzahl der Seiten 512
EAN 9783540405597
ISBN 3540405593
Libristo-Code 01562844
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 1600
Abmessungen 155 x 235 x 29

Kategorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik > Regelungstechnik > Robotik
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Compiler und Übersetzer
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein
EDV und Informationstechnologie > Informatik > Theoretische Informatik
EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf
EDV und Informationstechnologie > Informatik > Künstliche Intelligenz
Verschenken Sie dieses Buch noch heute
Es ist ganz einfach
1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Das könnte Sie auch interessieren

Intelligent Strategies for Meta Multiple Criteria Decision Making Thomas Hanne / Buch Broschur
common.buy 107.29 €
Teaching Ministry of the Church James D. Smart / Buch Broschur
common.buy 30.49 €
Glorious Boy Aimee Liu / Buch Broschur
common.buy 18.39 €
Ghost Sonata Gary Reed / Buch Broschur
common.buy 11.19 €
Night of the Cat Richard Waltner / Buch Broschur
common.buy 21.09 €
Church Reform Movement at Rome Charles R Conybeare / Buch Broschur
common.buy 12.29 €
Brave Men and Women Osgood E Fuller / Buch Broschur
common.buy 9.79 €
The Art of Simpling: An Introduction to the Knowledge and Gathering of Plants William Coles / Buch Broschur
common.buy 26.89 €
THE ELEMENTS OF MENTAL AND MORAL SCIENCE WILLIAM CH COUPLAND / Buch Hardcover
common.buy 33.69 €
Liberty Day October 12, 1918. Suggestions for Community Celebrations Henry Ezekiel Jackson / Buch Hardcover
common.buy 27.89 €
Technical Study of the Maintenance and Fattening of Lambs and Their Utilization of a Ration of Alfalfa Hay and Corn H H 1886-1966 Mitchell / Buch Hardcover
common.buy 27.89 €
Vigilante Witch Hunter Gary Turcotte / Buch Broschur
common.buy 22.99 €
History of Cherry Valley. from 1740 to 1898. John Sawyer / Buch Broschur
common.buy 18.69 €
Tree Tops Jim Corbett / Buch Broschur
common.buy 5.09 €
Art of Frozen Charles Solomon / Buch Hardcover
common.buy 33.59 €
DNA Methylation, Epigenetics and Metastasis M. Esteller / Buch Hardcover
common.buy 234.09 €
Empirico-Statistical Analysis of Narrative Material and its Applications to Historical Dating. Vol.1 A.T. Fomenko / Buch Hardcover
common.buy 107.29 €
Comic Books as History Joseph Witek / Buch Broschur
common.buy 40.49 €
Norfolk W A Dutt / Buch Broschur
common.buy 29.19 €
Functional Foods and Nutraceuticals Aluko / Buch Hardcover
common.buy 89.39 €
Iki and The Ocean Protectors Martha Johnston / Buch Hardcover
common.buy 25.99 €
Realizing Beloved Community Allen K. Shin / E-Book Adobe ePub DRM
common.buy 33.59 €

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto
Buchberater Libroamiko
Hallo, ich bin Libroamiko, kann ich helfen?