GWAI-86 und 2. Österreichische...

Main
Computers - Computer Science
GWAI-86 und 2. Österreichische...

GWAI-86 und 2. Österreichische Artificial-Intelligence-Tagung: Ottenstein/Niederösterreich, September 22–26, 1986

Robert Trappt (auth.), Claus-Rainer Rollinger, Werner Horn (eds.)

0 / 0

Bu kitabı ne kadar beğendiniz?

İndirilen dosyanın kalitesi nedir?

Kalitesini değerlendirmek için kitabı indirin

İndirilen dosyaların kalitesi nedir?

Kategoriler:

Computers - Computer Science

Yıl:

1986

Yayımcı:

Springer Berlin Heidelberg

Dil:

english

Sayfalar:

367

ISBN 10:

3642713858

ISBN 13:

9783642713859

Seriler:

Informatik-Fachberichte 124

Dosya:

PDF, 10.75 MB

IPFS:

,

english, 1986

Online Oku

'e dönüştürme devam ediyor

dosyasına dönüştürme başarısız oldu

İlginizi çekebilir

Jack Minker, Carolina Ruiz (auth.), Jan Komorowski, Zbigniew W. Raś (eds.) — Methodologies for Intelligent Systems: 7th International Symposium, ISMIS'93 Trondheim, Norway, June 15–18, 1993 Proceedings

Wu Wen-Tsün (auth.), William McCune (eds.) — Automated Deduction—CADE-14: 14th International Conference on Automated Deduction Townsville, North Queensland, Australia, July 13–17, 1997 Proceedings

Alan Bundy — The computer modelling of mathematical reasoning

Jean-Louis Lassez (ed.) — Logic programming: proceedings 4th international conference, vol.2

Saumya Debray, Manuel Hermenegildo (ed.) — Logic programming: proceedings of the 1990 North American conference

Kowalski R.A., Bowen K.A. (eds.) — Logic programming: proceedings 5th international conference, vol.1

Giorgio Levi, Maurizio Martelli (ed.) — Logic programming: proceedings of the 6 international conference

Małuszyński, Jan (eds.) — Logic programming: proceedings of the 1997 international symposium

David H. D. Warren, Peter Szeredi (ed.) — Logic Programming: Proceedings of the The 7th International Conference

Veronica Dahl, Patrick Saint-Dizier — Natural language understanding and logic programming, II: proceedings of the Second International Workshop on Natural Language Understanding and Logic Programming, Vancouver, Canada, 17-19 August, 1987

Veronica Dahl, Patrick Saint-Dizier — Natural Language Understanding and Logic Programming: Proceedings of the First International Workshop on Natural Language Understanding and Logic Programming, Rennes, France, 18-20 September, 1984

Ph Jorrand, V. Sgurev — Artificial Intelligence IV. Methodology, Systems, Applications

Peter Flach — Simply Logical: Intelligent Reasoning by Example

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

Symposium on Logic Programming (ed.) — Proceedings 1987 Symposium on Logic Programming

D.R.Brough (ed.) — Logic Programming: New Frontiers

B. Radig (auth.), Jörg H. Siekmann (eds.) — GWAI-81: German Workshop on Artificial Intelligence Bad Honnef, January 26–31, 1981

Leonie S. Dreschler-Fischer (auth.), Katharina Morik (eds.) — GWAI-87 11th German Workshop on Artifical Intelligence: Geseke, September 28–October 2, 1987 Proceedings

Ross D. King (auth.), Tamás Horváth, Akihiro Yamamoto (eds.) — Inductive Logic Programming: 13th International Conference, ILP 2003, Szeged, Hungary, September 29 - October 1, 2003. Proceedings

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

Dieter Metzing — GWAI-89 13th German Workshop on Artificial Intelligence: Eringerfeld, 18.–22. September 1989

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

Claude Kirchner, Patrick Viry (auth.), Pierre Deransart, Jan Maluszyński (eds.) — Programming Language Implementation and Logic Programming: International Workshop PLILP '90 Linköping, Sweden, August 20–22, 1990 Proceedings

Hassan Aït-Kaci, Andreas Podelski (auth.), Andrei Voronkov (eds.) — Logic Programming and Automated Reasoning: 4th International Conference, LPAR'93 St. Petersburg, Russia, July 13–20, 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

Amy Felty, Douglas Howe (auth.), Frank Pfenning (eds.) — Logic Programming and Automated Reasoning: 5th International Conference, LPAR '94 Kiev, Ukraine, July 16–22, 1994 Proceedings

Usama Fayyad (auth.), Nada Lavrač, Sašo Džeroski (eds.) — Inductive Logic Programming: 7th International Workshop, ILP-97 Prague, Czech Republic September 17–20, 1997 Proceedings

Frank Pfenning (auth.), Claude Kirchner, Hélène Kirchner (eds.) — Automated Deduction — CADE-15: 15th International Conference on Automated Deduction Lindau, Germany, July 5–10, 1998 Proceedings

John Alan Robinson (auth.), John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey (eds.) — Computational Logic — CL 2000: First International Conference London, UK, July 24–28, 2000 Proceedings

Andrei Voronkov & Christoph Weidenbach (eds.) — LNCS 7797 - Programming Logics

Anahtar ifadeler