Automaatio

publyear: 1993
1-12 / yhteensä 48
vuosirajaus: 1993 - poista vuosirajaus
cover from: Google Books
Rusinowitch, Michael.
Conditional Term Rewriting Systems : Third International Workshop, CTRS-92, Pont-a-Mousson, France, July 8-10, 1992. Proceedings
by Michael Rusinowitch, Jean-Luc Remy.
1993
64169
isbn:9783540563938
cover from: Google Books
Brewka, Gerhard.
Nonmonotonic and Inductive Logic : Second International Workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991. Proceedings
by Gerhard Brewka, Klaus P. Jantke, Peter H. Schmitt.
1993
64171
isbn:9783540564331
cover from: Google Books
Lamma, Evelina.
Extensions of Logic Programming : Third International Workshop, ELP '92, Bologna, Italy, February 26-28, 1992. Proceedings
by Evelina Lamma, Paola Mello.
1993
64172
isbn:9783540564546
cover from: Google Books
Hanson, Stephen J.
Machine Learning: From Theory to Applications : Cooperative Research at Siemens and MIT
by Stephen J. Hanson, Werner Remmele, Ronald L. Rivest.
1993
64173
isbn:9783540564836
cover from: Google Books
Nitzberg, Mark.
Filtering, Segmentation and Depth
by Mark Nitzberg, David Mumford, Takahiro Shiota.
1993
64174
isbn:9783540564843
cover from: Google Books
Brazdil, Pavel B.
Machine Learning: ECML-93 : European Conference on Machine Learning, Vienna, Austria, April 5-7, 1993. Proceedings
by Pavel B. Brazdil.
1993
64179
isbn:9783540566021
cover from: Google Books
Ohlbach, Hans J.
GWAI-92: Advances in Artificial Intelligence : 16th German Conference on Artificial Intelligence, Bonn, Germany, August 31 - September 3, 1992. Proceedings
by Hans J. Ohlbach.
1993
64184
isbn:9783540566670
cover from: Google Books
Mulkers, Anne.
Live Data Structures in Logic Programs : Derivation by Means of Abstract Interpretation
by Anne Mulkers.
1993
64187
isbn:9783540566946
cover from: Google Books
Abdulrab, Habib.
Word Equations and Related Topics : Second International Workshop, IWWERT '91, Rouen, France, October 7-9, 1991. Proceedings
by Habib Abdulrab, Jean-Pierre Pecuchet.
1993
64189
isbn:9783540567301
cover from: Google Books
Fermüller, C.
Resolution Methods for the Decision Problem
by C. Fermüller, A. Leitsch, Tanel Tammet.
1993
64191
isbn:9783540567325
cover from: Google Books
Wansing, Heinrich.
The Logic of Information Structures
by Heinrich Wansing.
1993
64193
isbn:9783540567349
cover from: Google Books
Bouchon-Meunier, Bernadette.
IPMU'92 - Advanced Methods in Artificial Intelligence : 4th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, Palma de Mallorca, Spain, July 6-10, 1992. Proceedings
by Bernadette Bouchon-Meunier, Llorenc Valverde, Ronald R. Yager.
1993
64194
isbn:9783540567356
Loading... loading more ...
device_type: computer thumb_size: normal
| grid | |