by
Chong, C.-T. (Chi-Tat), 1949- editor
Author
Chong, C.-T. (Chi-Tat), 1949- editor
Format:
Call Number
QA9.A1 I54 2014
Publisher
World Scientific,
Publication Date
2014
ISBN
9789814571036
Holds:
Copies:
by
Holldobler, Steffen, 1957-
Author
Holldobler, Steffen, 1957-, Lutz, Carsten, 1971-, Wansing, H. (Heinrich)
Format:
Call Number
Q334 L63 2008
Publisher
Springer,
Publication Date
2008
ISBN
9783540878025
Holds:
Copies:
by
Workshop on Logic, Language, Information and Computation (15th : 2008 : Edinburgh, U.K.)
Author
Workshop on Logic, Language, Information and Computation (15th : 2008 : Edinburgh, U.K.), Hodges, Wilfrid, Queiroz, Ruy J.G.B. de
Format:
Call Number
QA9.A1 W67 2008
Publisher
Springer,
Publication Date
2008
ISBN
9783540699361
Holds:
Copies:
by
FOSSACS 2007 (2007 : Braga, Portugal)
Author
FOSSACS 2007 (2007 : Braga, Portugal), Seidl, Helmut, SpringerLink (Online service)
Format:
Call Number
EB 000709
Publisher
Springer-Verlag Berlin Heidelberg,
Publication Date
2007
ISBN
9783540713890
Remote access restricted to users with a valid UTM ID via VPN
Holds:
Copies:
by
FOSSACS 2007 (2007 : Braga, Portugal)
Author
FOSSACS 2007 (2007 : Braga, Portugal), Seidl, Helmut, SpringerLink (Online service), ETAPS 2007 (2007 : Braga, Portugal)
Format:
Call Number
EB 000708
Publisher
Springer-Verlag Berlin Heidelberg,
Publication Date
2007
ISBN
9783540713890
Remote access restricted to users with a valid UTM ID via VPN
Holds:
Copies:
by
International Workshop on Theorem Proving with Analytic Tableaux and Related Methods (4th : 1995 : St Goar, Germany)
Author
International Workshop on Theorem Proving with Analytic Tableaux and Related Methods (4th : 1995 : St Goar, Germany), Baumgartner, Peter, Hahnle, Reiner, Posegga, Joachim
Format:
Call Number
QA76.9.A96 I73 1995
Publisher
Springer,
Publication Date
1995
ISBN
9783540593386
Holds:
Copies:
by
Kechris, A. S.
Author
Kechris, A. S.
Format:
Call Number
QA9.3 C32 1978
Publisher
Springeer-Verlag,
Publication Date
1978
ISBN
9783540090861
Holds:
Copies:
by
International Summer Institute and Logic Colloquium (1974 : University of Kiel)
Author
International Summer Institute and Logic Colloquium (1974 : University of Kiel), Muller, Gert Heinz, Oberschelp, A., Plotthoff, K
Format:
Call Number
QA9 I84 1975
Publisher
Springer-Verlag,
Publication Date
1975
ISBN
9783540075349
Holds:
Copies:
by
Parikh, Rohet
Author
Parikh, Rohet
Format:
Call Number
QA9.A1 L63 1972-73
Publisher
Springer-Verlag,
Publication Date
1975
ISBN
9780387071558
Holds:
Copies:
by
Summer Research Institute of the Australia Mathematical Society (14th : 1974 : University, Victoria)
Author
Summer Research Institute of the Australia Mathematical Society (14th : 1974 : University, Victoria)
Format:
Call Number
QA9 S76 1975
Publisher
Springer-Verlag,
Publication Date
1975
ISBN
9783540071525
Holds:
Copies:
by
Mathias, A. R. D.
Author
Mathias, A. R. D., Rogers, H.
Format:
Call Number
QA9.A1 C36 1973
Publisher
Soringer-Verlag,
Publication Date
1973
ISBN
9783540055693
Holds:
Copies:
by
Conference in Mathematical Logic (1970 : Bedford College, London)
Author
Conference in Mathematical Logic (1970 : Bedford College, London), Hodges, Wilfrid
Format:
Call Number
QA9 C66 1972
Publisher
Springer-Verlag,
Publication Date
1972
ISBN
9783540057444
Holds:
Copies: