Gå direkt till innehållet
Proof Theory and Automated Deduction
Spara

Proof Theory and Automated Deduction

A new attitude to applied logic has evolved, where researchers tailor a logic for their own use in the same way they define a computer language, and where auto­ mated deduction for the logic and its fragments is as important as the logic itself.
Upplaga
Softcover reprint of the original 1st ed. 1997
ISBN
9781402003684
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
2001-11-30
Sidor
444