Automated Reasoning with Analytic Tableaux and Related Methods
International Conference, TABLEAUX 2000 St Andrews, Scotland, UK, July 3-7, 2000 Proceedings
E-bok
PDF, Engelska, 2006739 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
Extensions of Logic Programming
Roy Dyckhoff, Heinrich Herre, Peter Schroeder-Heister
Häftad, 1996
573 kr
- Signerad!
Del 3
- Nyhet
Del 11
- Signerad!
- -21%
- Nyhet
- Nyhet
- -17%
Del 12