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

Sukakah anda buku ini?

Bagaimana kualiti fail ini?

Muat turun buku untuk menilai kualitinya

Bagaimana kualiti fail yang dimuat turun?

Kategori:

Computers - Computer Science

Tahun:

1982

Edisi:

1

Penerbit:

Springer-Verlag Berlin Heidelberg

Bahasa:

english

Halaman:

246

ISBN 10:

3642688268

ISBN 13:

9783642688263

Nama siri:

Informatik-Fachberichte 58

Fail:

PDF, 5.47 MB

IPFS:

,

english, 1982

Muat turun buku ini tidak tersedia lagi kerana aduan pemegang hak cipta

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

— Pravin Lal

Mungkin anda berminat

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

Istilah utama