Buch


5th Conference on Automated Deduction

5th Conference on Automated Deduction

-Les Arcs, France, July 8-11, 1980-

Wolfgang Bibel; R. Kowalski (Hrsg.)

 

53,49 EUR
Lieferzeit 5-6 Tage


In den Warenkorb

53,49 EUR
Lieferzeit 5-6 Tage


In den Warenkorb

Leseprobe


Übersicht


Verlag : Springer Berlin
Buchreihe : Lecture Notes in Computer Science (Bd. 87)
Sprache : Englisch
Erschienen : 01. 06. 1980
Seiten : 388
Einband : Kartoniert
Höhe : 233 mm
Breite : 155 mm
Gewicht : 1250 g
ISBN : 9783540100096
Sprache : Englisch

Du und »5th Conference on Automated Deduction«




Stichworte aus dem enthaltenen Werk


Stichworte im VLB : Bibel, Künstliche Intelligenz, Resolution, Variable, algorithms, automated deduction, logic, proof, set theory, theorem proving


Leseprobe





Deine Buchhandlung


Buchhandlung LeseLust
Inh. Gernod Siering

Georgenstraße 2
99817 Eisenach

03691/733822
kontakt@leselust-eisenach.de

Montag-Freitag 9-17 Uhr
Sonnabend 10-14 Uhr



Deine Buchhandlung
Buchhandlung LeseLust
Inh. Gernod Siering

Georgenstraße 2
99817 Eisenach

03691/733822
kontakt@leselust-eisenach.de

Montag-Freitag 9-17 Uhr
Sonnabend 10-14 Uhr