MPG.eBooks - Search Results

Cover Image

1

Logic Programming '87 : Proceedings of the 6th Conference Tokyo, Japan, June 22-24, 1987

Published 1988

Springer Berlin Heidelberg

Cover Image

2

Uncertainty and Intelligent Systems : 2nd International Conference on Information Processing and Management of Uncertainty in Knowledge Based Systems IPMU '88. Urbino, Italy, July...

Published 1988

Springer Berlin Heidelberg

Cover Image

3

Logics in Artificial Intelligence : European Conference, JELIA 2002, Cosenza, Italy, September, 23-26, Proceedings

Published 2002

Springer Berlin Heidelberg

Cover Image

4

Machine Translation: From Research to Real Users : 5th Conference of the Association for Machine Translation in the Americas, AMTA 2002 Tiburon, CA, USA, October 6-12, 2002. Procee...

Published 2002

Springer Berlin Heidelberg

Cover Image

5

Natural Language at the Computer : Scientific Symposium on Syntax and Semantics for Text Processing and Man Machine Communication, Held on the Occasion of the 20th Anniversary of t...

Published 1988

Springer Berlin Heidelberg

Cover Image

6

Abstraction, Reformulation, and Approximation : 5th International Symposium, SARA 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings

Published 2002

Springer Berlin Heidelberg

Cover Image

7

Computational Aspects of an Order-Sorted Logic with Term Declarations

by Schmidt-Schauß, Manfred
Published 1989

Springer Berlin Heidelberg

Cover Image

8

Analogical and Inductive Inference : International Workshop AII '89 Reinhardsbrunn Castle, GDR, October 1-6, 1989, Proceedings

Published 1989

Springer Berlin Heidelberg

Cover Image

9

Information Systems and Artificial Intelligence: Integration Aspects : First Workshop, Ulm, FRG, March 19-21, 1990. Proceedings

Published 1991

Springer Berlin Heidelberg

Cover Image

10

Recent Issues in Pattern Analysis and Recognition

Published 1989

Springer Berlin Heidelberg

Cover Image

11

The Logic of Theory Change : Workshop, Konstanz, FRG, October 13-15, 1989, Proceedings

Published 1991

Springer Berlin Heidelberg

Cover Image

12

Extensions of Logic Programming : International Workshop, Tübingen, FRG, December 8-10, 1989. Proceedings

Published 1991

Springer Berlin Heidelberg

Cover Image

13

Neural Networks : EURASIP Workshop 1990 Sesimbra, Portugal, February 15-17, 1990. Proceedings

Published 1990

Springer Berlin Heidelberg

Cover Image

14

Current Trends in SNePS - Semantic Network Processing System : First Annual SNePS Workshop, Buffalo, NY, November 13, 1989, Proceedings

Published 1990

Springer Berlin Heidelberg

Cover Image

15

CSL '89 : 3rd Workshop on Computer Science Logic. Kaiserslautern, FRG, October 2-6, 1989. Proceedings

Published 1990

Springer Berlin Heidelberg

Cover Image

16

Termination Proofs for Logic Programs

by Plümer, Lutz
Published 1990

Springer Berlin Heidelberg

Cover Image

17

Knowledge Based Computer Systems : International Conference KBCS `89, Bombay, India, December 11-13, 1989. Proceedings

Published 1990

Springer Berlin Heidelberg

Cover Image

18

10th International Conference on Automated Deduction : Kaiserslautern, FRG, July 24-27, 1990. Proceedings

Published 1990

Springer Berlin Heidelberg

Cover Image

19

Artificial Intelligence in Higher Education : CEPES-UNESCO International Symposium, Prague, CSFR, October 23-25, 1989, Proceedings

Published 1990

Springer Berlin Heidelberg

Cover Image

20

A Perspective of Constraint-Based Reasoning : An Introductory Tutorial

by Guesgen, Hans W., Hertzberg, Joachim
Published 1992

Springer Berlin Heidelberg

1
2
3
4
5
6
7
8
9
10
11