Lanean...

Logic in computer science Modelling and reasoning about systems /

Xehetasun bibliografikoak
Egile nagusia: Huth, Michael
Beste egile batzuk: Ryan , Mark
Hizkuntza:Undetermined
Argitaratua: Cambridge Univeristy Press , 2004.
Edizioa:2nd ed.
Gaiak:

University of Kerala

Aleari buruzko argibideak University of Kerala
Sailkapena: D651:(R1) P4
Alea Egoera zuzenean ez dago erabilgarri