Automaatio

publyear: 1990
13-24 / yhteensä 26
vuosirajaus: 1990 - poista vuosirajaus
cover from: Google Books
Börger, Egon.
CSL '89 : 3rd Workshop on Computer Science Logic. Kaiserslautern, FRG, October 2-6, 1989. Proceedings
by Egon Börger, Hans Kleine Büning, Michael M. Richter.
1990
63959
isbn:9783540527534
cover from: Google Books
Paterson, Michael S.
Automata, Languages and Programming : 17th International Colloquium, Warwick University, England, July 16-20, 1990, Proceedings
by Michael S. Paterson.
1990
63961
isbn:9783540528265
cover from: Google Books
Plümer, Lutz.
Termination Proofs for Logic Programs
by Lutz Plümer.
1990
63962
isbn:9783540528371
cover from: Google Books
Ramani, S.
Knowledge Based Computer Systems : International Conference KBCS `89, Bombay, India, December 11-13, 1989. Proceedings
by S. Ramani, R. Chandrasekar, K.S.R. Anjaneyulu.
1990
63965
isbn:9783540528500
cover from: Google Books
Stickel, Mark E.
10th International Conference on Automated Deduction : Kaiserslautern, FRG, July 24-27, 1990. Proceedings
by Mark E. Stickel.
1990
63966
isbn:9783540528852
cover from: Google Books
Marik, Vladimir.
Artificial Intelligence in Higher Education : CEPES-UNESCO International Symposium, Prague, CSFR, October 23-25, 1989, Proceedings
by Vladimir Marik, Olga Stepankova, Zdenek Zdrahal.
1990
63968
isbn:9783540529521
no cover image
Deransart, Pierre.
Programming Language Implementation and Logic Programming : International Workshop PLILP `90, Linköping, Sweden, August 20-22, 1990. Proceedings
by Pierre Deransart, Jan Maluszynski.
1990
63971
isbn:9783540530107
cover from: Google Books
Studer, Rudi.
Natural Language and Logic : International Scientific Symposium, Hamburg, FRG, May 9-11, 1989. Proceedings
by Rudi Studer.
1990
63976
isbn:9783540530824
cover from: Google Books
Deransart, Pierre.
Attribute Grammars and their Applications : International Conference, Paris, France, September 19-21, 1990
by Pierre Deransart, Martin Jourdan.
1990
63977
isbn:9783540531012
cover from: Google Books
Gottlob, Georg.
Expert Systems in Engineering : Principles and Applications
by Georg Gottlob, Wolfgang Nejdl.
1990
63978
isbn:9783540531043
cover from: Google Books
Kirchner, Helene.
Algebraic and Logic Programming : Second International Conference, Nancy, France, October 1-3, 1990. Proceedings
by Helene Kirchner, Wolfgang Wechler.
1990
63979
isbn:9783540531623
cover from: Google Books
Abiteboul, Serge.
ICDT '90 : Third International Conference on Database Theory, Paris, France, December 12-14, 1990, Proceedings
by Serge Abiteboul, Paris C. Kanellakis.
1990
63988
isbn:9783540535072
Loading... loading more ...
device_type: computer thumb_size: normal
| grid | |