Handbook of Automated Reasoning
A. Robinson, A. Voronkov, Alan J.A. Robinson, Andrei Voronkov
Inbunden, 2001
2 422 kr
Handbook of Automated Reasoning
AvAndrei Voronkov,Alan J.A. Robinson
E-bok
Engelska, 20014 874 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet
Beskrivning
Handbook of Automated Reasoning
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
Del 13
Logic for Programming, Artificial Intelligence, and Reasoning
Andrei Voronkov, Edmund M. Clarke
E-bok
2010708 kr
Del 11964
Perspectives of System Informatics
Nikolaj Bjørner, Irina Virbitskaite, Andrei Voronkov
Häftad, 2019
566 kr
Oxidative Stress and Antioxidant Defense: Biomedical Value in Health and Diseases
Md . Sahab Uddin
E-bok
20194 874 kr