Automated Reasoning with Analytic Tableaux and Related Methods
International Conference, TABLEAUX''98, Oisterwijk, The Netherlands, May 5-8, 1998, Proceedings
E-bok
PDF, Engelska, 20031 183 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
Theory and Applications of Relational Structures as Knowledge Instruments II
Marc Roubens, Gunther Schmidt, Ewa Orlowska, Harrie de Swart
E-bok
2007739 kr
Theory and Applications of Relational Structures as Knowledge Instruments II
Harrie de Swart, Ewa Orlowska, Gunther Schmidt, Marc Roubens
Häftad, 2006
572 kr
Theory and Applications of Relational Structures as Knowledge Instruments
Marc Roubens, Gunther Schmidt, Ewa Orlowska, Harrie de Swart
E-bok
2004739 kr
Theory and Applications of Relational Structures as Knowledge Instruments
Harrie de Swart, Ewa Orlowska, Gunther Schmidt, Marc Roubens
Häftad, 2003
572 kr