Automata logic and infinite games : a guide to current research

Zapisane w:
Opis bibliograficzny
1. autor: Gradel, Erich
Kolejni autorzy: Thomas, Wolfgang/Wilke, Thomas eds
Język:angielski
Wydane: Berlin Springer 2002
Hasła przedmiotowe:
Etykiety: Dodaj etykietę
Nie ma etykietki, Dołącz pierwszą etykiete!