Generic Inference: A Unifying Theory for Automated Reasoning

av

Marc Pouly Juerg Kohlas

, utgiven av: John Wiley & Sons, John Wiley & Sons

Köp här

Läs ett smakprov

Generic Inference: A Unifying Theory for Automated Reasoning

av

Marc Pouly Juerg Kohlas

, utgiven av: John Wiley & Sons, John Wiley & Sons

Köp här

Läs ett smakprov

Utgivningsår: 20110630 Isbn: 9780470527016 Utgivare: John Wiley & Sons Mediatyp: BC