NDLTD Global ETD Search
  • Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 10
  • 3
  • 2
  • Tagged with
  • 15
  • 15
  • 5
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 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 10 of 15 (0.265 seconds)
1

Flexible computation of the well-founded semantics of normal logic programs

Zukowski, Ulrich. January 2001 (has links)
Passau, Univ., Diss., 2001.
Logische Programmierung
2

Flexible computation of the well-founded semantics of normal logic programs

Zukowski, Ulrich. January 2001 (has links)
Passau, Univ., Diss., 2001.
Logische Programmierung
3

Flexible computation of the well-founded semantics of normal logic programs

Zukowski, Ulrich. January 2001 (has links) (PDF)
Passau, University, Diss., 2001.
Logische Programmierung
4

Simulation von Prüfungsordnungen und Studiengängen mit Hilfe von Constraint-logischer Programmierung

Habtemariam, Dereje Tewolde Unknown Date (has links)
Univ., Diplomarbeit, 2006--Frankfurt (Main)
5

An approach to logic/object-oriented concurrent robot programming and performance aspects

Pollmann, Alfried. January 1996 (has links)
University-Gesamthochsch., Diss.--Paderborn, 1996.
6

Integration von Features und Constraints in einen terminologischen Wissensrepräsentationsformalismus

Raichle, Bernd. January 1992 (has links)
Stuttgart, Univ., Fakultät Informatik, Diplomarb., 1992.
7

A uniform computational model for natural language parsing and generation

Neumann, Günter. Unknown Date (has links) (PDF)
University, Diss., 1994--Saarbrücken.
8

Knowledge-based modeling of cooperative processes /

Schwärzler, Gerhard. January 1900 (has links)
Diss. Nr. 9926 techn. Wiss. ETH Zürich. / Literaturverz.
9

Knowledge-based locomotive planning for the Swedish railway

Scholz, Volker. January 1998 (has links)
Stuttgart, Univ., Fakultät Informatik, Diplomarb., 1998.
10

Lösen kombinatorischer Probleme mit Constraintprogrammierung in Oz

Würtz, Jörg. Unknown Date (has links) (PDF)
Universiẗat, Diss., 1998--Saarbrücken.

Page generated in 0.2684 seconds