Gå direkte til innholdet
Proof Theory and Automated Deduction
Spar

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.
Opplag
Softcover reprint of the original 1st ed. 1997
ISBN
9781402003684
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
30.11.2001
Antall sider
444