Automated Theorem Proving: Künstliche Intelligenz
Autor Wolfgang Bibelen Limba Engleză Paperback – 1987
Preț: 647.93 lei
Preț vechi: 809.92 lei
-20% Nou
Puncte Express: 972
Preț estimativ în valută:
123.100€ • 129.29$ • 103.05£
123.100€ • 129.29$ • 103.05£
Carte tipărită la comandă
Livrare economică 21 martie-04 aprilie
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783528185206
ISBN-10: 3528185201
Pagini: 304
Ilustrații: XIV, 289 p.
Dimensiuni: 170 x 244 x 16 mm
Greutate: 0.49 kg
Ediția:2nd ed. 1987
Editura: Vieweg+Teubner Verlag
Colecția Vieweg+Teubner Verlag
Seria Künstliche Intelligenz
Locul publicării:Wiesbaden, Germany
ISBN-10: 3528185201
Pagini: 304
Ilustrații: XIV, 289 p.
Dimensiuni: 170 x 244 x 16 mm
Greutate: 0.49 kg
Ediția:2nd ed. 1987
Editura: Vieweg+Teubner Verlag
Colecția Vieweg+Teubner Verlag
Seria Künstliche Intelligenz
Locul publicării:Wiesbaden, Germany
Public țintă
ResearchCuprins
I. Natural and formal logic.- II. The connection method in propositional logic.- III. The connection method in first-order logic.- IV. Variants and improvements.- V. Applications and extensions.- Mnemonics for use in references.- References.- List of Symbols.