Automated Theorem Proving: Künstliche Intelligenz
Autor Wolfgang Bibelen Limba Engleză Paperback – 1987
Preț: 613.73 lei
Preț vechi: 767.16 lei
-20% Nou
Puncte Express: 921
Preț estimativ în valută:
117.53€ • 126.90$ • 97.90£
117.53€ • 126.90$ • 97.90£
Carte tipărită la comandă
Livrare economică 06-20 decembrie
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.