NDLTD Global ETD Search
  • Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 3
  • 3
  • Tagged with
  • 6
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.

Search results

Showing 1 to 6 of 6 (0.047 seconds)

Spelling suggestions: "subject:"präprädikatenlogik"" "subject:"präprädikatenlogik""

1

Zur Effizienz der Beweissuche in der Logikverarbeitung /

Dunker, Ulf. January 1997 (has links)
Zugl.: Paderborn, Universiẗat, Diss., 1997.
2

A resolution-based calculus for temporal logics

Nonnengart, Andreas. Unknown Date (has links) (PDF)
University, Diss., 1995--Saarbrücken.
3

Künstliche Intelligenz, Logik und Mathematikunterricht /

Pilz, Eva. January 1991 (has links)
Zugl.: Oldenburg, Universiẗat, Diss., 1990.
4

Modulare Datentypdefinitionen und ihre Beziehungen zur Logik erster Stufe

Treinen, Ralf. Unknown Date (has links) (PDF)
Universiẗat, Diss., 1991--Saarbrücken.
5

Superposition theorem proving for commutative algebraic theories

Stuber, Jürgen. Unknown Date (has links) (PDF)
University, Diss., 2000--Saarbrücken.
6

Resolution-based decision procedures for subclasses of first-order logic

Hustadt, Ullrich. Unknown Date (has links) (PDF)
University, Diss., 1999--Saarbrücken.

Page generated in 0.0509 seconds