LECTURE NOTES IN COMPUTER SCIENCE
Lecture notes in computer science
Material Type |
Books |
Publisher |
Berlin ; Tokyo : Springer-Verlag |
Language |
English |
Hide subdivided bibliography.
| |
1 |
230
8th International Conference on Automated Deduction : Oxford, England, July 27-August 1, 1986 : proceedings / edited by Jörg H. Siekmann
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1986
|
2 |
1118
Principles and practice of constraint programming -- CP 96 : Second International Conference, CP 96, Cambridge, MA, USA, August 19-22, 1996 : proceedings / Eugene C. Freuder (ed.)
Berlin : Springer , c1996
|
3 |
1330
Principles and practice of constraint programming - CP 97 : Third International Conference, CP 97, Linz, Austria, October 29 - November 1, 1997 : proceedings / Gert Smolka (ed.)
Berlin : Springer , c1997
|
4 |
1365 . Lecture notes in artificial intelligence
Intelligent agents IV : agent theories, architectures, and languages : 4th International Workshop, ATAL'97, Providence, Rhode Island, USA, July 24-26, 1997 : proceedings / Munindar P. Singh, Anand Rao, Michael J. Wooldridge (eds.)
Berlin ; Tokyo : Springer , c1998
|
5 |
1784
Foundations of software science and computation structures : third International Conference, FOSSACS 2000, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings / Jerzy Tiuryn (ed.)
Berlin : Springer , c2000
|
Hide details.