Marknadens största urval
Snabb leverans

Proof Theory and Automated Deduction

Om 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.

Visa mer
  • Språk:
  • Engelska
  • ISBN:
  • 9781402003684
  • Format:
  • Häftad
  • Sidor:
  • 444
  • Utgiven:
  • 30. november 2001
  • Utgåva:
  • 11997
  • Mått:
  • 155x235x22 mm.
  • Vikt:
  • 1370 g.
Leveranstid: 2-4 veckor
Förväntad leverans: 17. december 2024

Beskrivning av 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.

Användarnas betyg av Proof Theory and Automated Deduction



Hitta liknande böcker
Boken Proof Theory and Automated Deduction finns i följande kategorier:

Gör som tusentals andra bokälskare

Prenumerera på vårt nyhetsbrev för att få fantastiska erbjudanden och inspiration för din nästa läsning.