Skip to contents

Socher, Rolf [Author]; Johann, Patricia [Author]

Deduction systems

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

New York; Heidelberg [u.a.]: Springer, c 1997

Published in: Graduate texts in computer science
Bläsius, Karl Hans [Editor]

Deduktionssysteme : Automatisierung des logischen Denkens; mit 8 Tab.

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

München; Wien: Oldenbourg, 1987
Socher, Rolf [Author]

Deduktionssysteme

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Mannheim; Leipzig; Wien; Zürich: BI-Wiss.-Verl., 1994
Bibel, Wolfgang [Author]

Deduktion : Automatisierung der Logik

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

München [u.a.]: Oldenbourg, 1992

Published in: Handbuch der Informatik ; 6,2
Dietrich, Roland [Author]

Vergleichende Analyse von Inferenzsystemen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

München; Wien: Oldenbourg, 1990

Published in: Gesellschaft für Mathematik und Datenverarbeitung: Berichte der Gesellschaft für Mathematik und Datenverarbeitung ; 188
Wang, Yu [Author]

Consistency-based process diagnosis based on the variant connection graph proof procedure and Petri nets - [Als Ms. gedr.]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Düsseldorf: VDI-Verl., 1997

Published in: Verein Deutscher Ingenieure: Fortschritt-Berichte VDI ; 64500
Geske, Ulrich [Other] ; International Workshop on Deductive Databases and Logic Programming 5 1997 Löwen, GMD-Forschungszentrum Informationstechnik, International Conference on Logic Programming 14 1997 Löwen

Proceedings of the 5th International Workshop on Deductive Databases and Logic Programming : workshop in conjunction with ICLP '97, Leuven, Belgium, July 11, 1997

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Sankt Augustin: GMD-Forschungszentrum Informationstechnik, 1997

Published in: GMD-Forschungszentrum Informationstechnik: GMD-Studien ; 317
Bläsius, Karl Hans [Editor]; Bürckert, Hans-Jürgen [Editor]

Deduktionssysteme : Automatisierung des logischen Denkens - [2., völlig überarbeitete und erweiterte Auflage]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

München; Wien: Oldenbourg, 1992
Möller, Bernhard [Editor] ; Europäische Kommission Europäisches Strategisches Programm für Forschung und Entwicklung auf dem Gebiet der Informationstechnologie Basic Research Action 8533

Prospects for hardware foundations

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1998

Published in: Lecture notes in computer science ; 1546
Manna, Zohar [Author]; Waldinger, Richard [Author]

The deductive foundations of computer programming : a one-volume version of "The logical basis for computer programming" - [a one-volume version of "The logical basis for computer programming"]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Reading, Mass. [u.a.]: Addison-Wesley, 1993
Konev, Boris [Editor]; Wolter, Frank [Other] ; FroCoS 6 2007 Liverpool

Frontiers of combining systems : 6th international symposium, FroCoS 2007, Liverpool, UK, September 10-12, 2007 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2007

Published in: Lecture notes in computer science ; 4720
Gramlich, Bernhard [Addressee] ; FroCoS 5 2005 Wien

Frontiers of combining systems : 5th international workshop, FroCoS 2005, Vienna, Austria, September 19 - 21, 2005 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2005

Published in: Lecture notes in computer science ; 3717
Armando, Alessandro [Editor] ; FroCoS 4 2002 Santa Margherita Ligure

Frontiers of combining systems : 4th international workshop, Santa Margherita Ligure, Italy, April 8 - 10, 2002 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2002

Published in: Lecture notes in computer science ; 2309
Martin-Löf, Per [Editor]; Mints, Grigori [Editor] ; COLOG 1 1988 Tallin

Proceedings / COLOG 88

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1990

Published in: Lecture notes in computer science ; 417
Kirchner, Hélène [Editor] ; FroCoS 3 2000 Nancy

Frontiers of combining systems : third International Workshop, Nancy, France, March 22 - 24, 2000 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2000

Published in: Lecture notes in computer science ; 1794
Broy, Manfred [Editor] ; NATO Division of Scientific Affairs, Advanced Study Institute on Deductive Program Design 1994 Marktoberdorf

Deductive program design : [proceedings of the NATO Advanced Study Institute on Deductive Program Design, held in Marktoberdorf, Germany, July 26 - August 7, 1994]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1996

Published in: NATO: NATO ASI series / F ; 152
Stephan, Werner [Author]; Biundo, Susanne [Author]

A new logical framework for deductive planning

View online
Schließen

Links

http://nbn-resolving.org/urn:nbn:de:bsz:291-scidok-36195

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Scientific publications of the Saarland University (UdS), 1992
Biundo, Susanne [Author]; Dengler, Dietmar [Author]; Koehler, Jana [Author]

Deductive planning and plan reuse in a command language environment

View online
Schließen

Links

http://nbn-resolving.org/urn:nbn:de:bsz:291-scidok-35947

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Scientific publications of the Saarland University (UdS), 1992
Möller, Bernhard [Author] ; Tucker, John V. [Other]

Prospects for Hardware Foundations : ESPRIT Working Group 8533 NADA — New Hardware Design Methods Survey Chapters

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 1998

Published in: Lecture notes in computer science ; 1546
Martin-Löf, Per [Author] ; Mints, Grigori [Other]

COLOG-88 : International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 1990

Published in: Lecture notes in computer science ; 417

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication