Jean Goubault-Larrecq Forfatter
Viser 1 - 1 af 1 resultat
-
Proof Theory and Automated Deduction (Bog, Paperback / softback, Engelsk)
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.
Levering: Skaffevare (forvent 14 - 30 hverdage)
Viser 1 - 1 af 1 resultat