Automated Reasoning

First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings

AvTobias Nipkow,Alexander Leitsch

E-bok
PDF, Engelska, 2003

1 367 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

David Duenas-Cid, Uwe Serdult, Manik Hapsara, Rajeev Gore, Veronique Cortier, Melanie Volkamer, Robert Krimmer - Electronic Voting, E-bok

Electronic Voting

David Duenas-Cid, Uwe Serdult, Manik Hapsara, Rajeev Gore, Veronique Cortier, Melanie Volkamer, Robert Krimmer

E-bok
2018

708 kr