Automata logic and infinite games : a guide to current research

Tallennettuna:
Bibliografiset tiedot
Päätekijä: Gradel, Erich
Muut tekijät: Thomas, Wolfgang/Wilke, Thomas eds
Kieli:englanti
Julkaistu: Berlin Springer 2002
Aiheet:
Tagit: Lisää tagi
Ei tageja, Lisää ensimmäinen tagi!