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 132 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
2007708 kr
Theory and Applications of Relational Structures as Knowledge Instruments II
Harrie de Swart, Ewa Orlowska, Gunther Schmidt, Marc Roubens
Häftad, 2006
565 kr
Theory and Applications of Relational Structures as Knowledge Instruments
Marc Roubens, Gunther Schmidt, Ewa Orlowska, Harrie de Swart
E-bok
2004708 kr
Theory and Applications of Relational Structures as Knowledge Instruments
Harrie de Swart, Ewa Orlowska, Gunther Schmidt, Marc Roubens
Häftad, 2003
565 kr