ID:DA07561582
Search authors sharing the same name
Matthias Baaz, Alexander Leitsch
Springer 2011 Trends in logic : studia logica library 34
: pbk.
Available at 1 libraries
Springer c2011 Trends in logic : studia logica library 34
Available at 6 libraries
by Ricardo Caferra, Alexander Leitsch and Nicholas Peltier
Kluwer c2004 Applied logic series 31
Available at 3 libraries
Rajeev Goré, Alexander Leitsch, Tobias Nipkow (eds.)
Springer c2001 Lecture notes in computer science 2083 . Lecture notes in artificial intelligence
Available at 35 libraries
Georg Gottlob, Alexander Leitsch, Daniele Mundici, (eds.)
Springer c1997 Lecture notes in computer science 1289
: pbk
Available at 53 libraries
Alexander Leitsch
Springer c1997 Texts in theoretical computer science An EATCS series
Available at 30 libraries
Springer-Verlag c1993 Lecture notes in computer science 713
: us , : gw
Available at 61 libraries