GWAI-82: 6th German Workshop on Artificial Intelligence Bad...

Main
Computers - Computer Science
GWAI-82: 6th German Workshop on...

GWAI-82: 6th German Workshop on Artificial Intelligence Bad Honnef, Sept. 27. – Oct. 1, 1982

Bernd Neumann (auth.), Wolfgang Wahlster (eds.)

0 / 0

¿Qué tanto le ha gustado este libro?

¿De qué calidad es el archivo descargado?

Descargue el libro para evaluar su calidad

¿Cuál es la calidad de los archivos descargados?

Categorías:

Computers - Computer Science

Año:

1982

Edición:

1

Editorial:

Springer-Verlag Berlin Heidelberg

Idioma:

english

Páginas:

246

ISBN 10:

3642688268

ISBN 13:

9783642688263

Serie:

Informatik-Fachberichte 58

Archivo:

PDF, 5.47 MB

IPFS:

,

english, 1982

La descarga de este libro no está disponible debido a una queja del titular de los derechos de autor

Beware of he who would deny you access to information, for in his heart he dreams himself your master

— Pravin Lal

También le puede interesar

Bruno Buchberger (Editor) — Journal of Symbolic Computation, Volume 7, issues 1-6 issue 1-6

Bruno Buchberger (Editor) — Journal of Symbolic Computation, Volume 8, issues 1-6 issue 1-6

Deepak Kapur (auth.), Harald Ganzinger (eds.) — Rewriting Techniques and Applications: 7th International Conference, RTA-96 New Brunswick, NJ, USA, July 27–30, 1996 Proceedings

Hassan Aït-Kaci, Maurice Nivat — Resolution of Equations in Algebraic Structures, Volume 2: Rewriting Techniques

Robinson A., Voronkov A. (eds.) — Handbook of automated reasoning Vol. 1 [...]

D. A. Wolfram — The Clausal Theory of Types

Franz Baader, Tobias Nipkow — Term rewriting and all that

Bibel W., Schmitt P.H. (eds.) — Automated deduction - a basis for applications, vol.1: Foundations - calculi and methods

Jan Grabowski (editor); Pierre Lescanne (editor); Wolfgang Wechler (editor) — Algebraic and Logic Programming: Proceedings of an International Workshop held in Gaussig (GDR), November 14–18, 1988

José Meseguer, Grigore Roşu (auth.), David Basin, Michaël Rusinowitch (eds.) — Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings

Basin D.(Ed), Rusinowitch M. (Ed) — Automated Reasoning

Hubert Comon Claude Marché Ralf Treinen (eds.) — Constraints in Computational Logics. Theory and Applications CCL ’99

Robert S. Boyer, J Strother Moore (auth.), Mark E. Stickel (eds.) — 10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24–27, 1990 Proceedings

Francois Bronsard, Uday S. Reddy (auth.), S. Kaplan, M. Okada (eds.) — Conditional and Typed Rewriting Systems: 2nd International CTRS Workshop Montreal, Canada, June 11–14, 1990 Proceedings

Amir Pnueli (auth.), Rudrapatna Shyamasundar (eds.) — Foundations of Software Technology and Theoretical Computer Science: 12th Conference New Delhi, India, December 18–20, 1992 Proceedings

Karl Meinke (auth.), Michaël Rusinowitch, Jean-Luc Rémy (eds.) — Conditional Term Rewriting Systems: Third International Workshop, CTRS-92 Point-à -Mousson, France, July 8–10 1992 Proceedings

Philip Laird (auth.), Klaus P. Jantke, Shigenobu Kobayashi, Etsuji Tomita, Takashi Yokomori (eds.) — Algorithmic Learning Theory: 4th International Workshop, ALT '93 Tokyo, Japan, November 8–10, 1993 Proceedings

John Slaney (auth.), Alan Bundy (eds.) — Automated Deduction — CADE-12: 12th International Conference on Automated Deduction Nancy, France, June 26 – July 1, 1994 Proceedings

Wayne Snyder (auth.), Jean-Pierre Jouannaud (eds.) — Constraints in Computational Logics: First International Conference, CCL '94 Munich, Germany, September 7–9, 1994 Proceedings

Yuri Matiyasevich (auth.), Jieh Hsiang (eds.) — Rewriting Techniques and Applications: 6th International Conference, RTA-95 Kaiserslautern, Germany, April 5–7, 1995 Proceedings

M. Alpuente, M. Falaschi, G. Moreno, G. Vidal (auth.), Michael Hanus, Jan Heering, Karl Meinke (eds.) — Algebraic and Logic Programming: 6th International Joint Conference ALP '97 — HOA '97 Southampton, UK, September 3–5, 1997 Proceedings

Alexander Bockmayr, Friedrich Eisenbrand (auth.), Hélène Kirchner, Christophe Ringeissen (eds.) — Frontiers of Combining Systems: Third International Workshop, FroCoS 2000, Nancy, France, March 22-24, 2000. Proceedings

Franz Baader — LNCS 4533 - Term Rewriting and Applications (Frontmatter Pages)

Jörg H. Siekmann (auth.), R. E. Shostak (eds.) — 7th International Conference on Automated Deduction: Napa, California, USA May 14–16, 1984 Proceedings

Términos más frecuentes