Gernot Salzer – författare

Visar alla böcker från författaren Gernot Salzer. Handla med fri frakt och snabb leverans.

2 produkter

1. 

   Automated Deduction in Classical and Non-Classical Logics

   Selected Papers

   Av Gernot Salzer, Ricardo Caferra

   E-bok, 2003

   755 kr

   Lägg i varukorg

2. 

   Automated Deduction in Classical and Non-Classical Logics

   Selected Papers

   Av Ricardo Caferra, Gernot Salzer

   Häftad, 2000

   566 kr

   Lägg i varukorg

   Thisvolumeisacollectionofpapers onautomateddeduction inclassical,modal, and many-valued logics, with an emphasis on rst-order theories. Some authors bridgethe gaptohigher-order logicbydealingwithsimpletype theory ina r- order setting, or by resolving shortcomings of r st-order logic with the help …