Computer science logic

Computer science logic

17th International Workshop, CSL 2003, 12th annual conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003 : proceedings

5/5
Imiterere
590 urupapuro, Paperback
Byatangajwe bwa mbere
2003
Abamamaji
Springer
Ingingo
Computer logic·Congresses
Ururimi
English

Ibitabo

Ibitabo bisa