Vissa av webbplatsens funktioner begränsas av dina webbläsarinställningar (t.ex. privat läge). Byt surfläge för att kunna lägga artiklar i varukorgen.

Jag förstår

Automated Reasoning in Higher-order Logic 1

bokomslag Automated Reasoning in Higher-order Logic

Vetenskap & teknik

Automated Reasoning in Higher-order Logic

Chad E Brown

409:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-12 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

2007

Författare: Chad E Brown
Format: Trade paperback
ISBN: 9781904987574
Språk: Engelska
Utgivningsdatum: 2007-10-22
Förlag: College Publications

Reasoning in Simple Type Theory

Christoph Benzmueller, Chad E Brown, Joerg Siekmann

409:-