Languages
Thomas, Wolfgang.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Mathematical logic
by:
Ebbinghaus, Heinz-Dieter.; Flum, Jorg.; SpringerLink (Online service); Thomas, Wolfgang.
(Electronic resources)
Foundations of software science and computation structuresSecond International Conference, FOSSACS '99 held as part of the joint European Conferences on Theory and Practice of Software, ETAPS '99, Amsterdam, The Netherlands, March 22-28, 1999 : proceedings /
by:
(1998 :); SpringerLink (Online service); Thomas, Wolfgang.
(Electronic resources)