( en | de | ru )

 

Disambiguierung von "Drabent, Wlodzimierz"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Proving Correctness and Completeness of Normal Programs - A Declarative Approach.

, und . ICLP, Volume 2237 von Lecture Notes in Computer Science, Seite 284-299. Springer, (2001)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Wlodzimierz Sawluk

Wlodzimierz Bielecki

Birgit Drabent

Birgit Drabent

Wlodzimierz Haszczyc

 

Weitere Publikationen von Autoren mit dem selben Namen

The Prolog Debugger and Declarative Programming. Examples.. CoRR, (2020)The Prolog Debugger and Declarative Programming.. LOPSTR, Volume 12042 von Lecture Notes in Computer Science, Seite 193-208. Springer, (2019)The Use of Assertions in Algorithmic Debugging., , und . FGCS, Seite 573-581. OHMSHA Ltd. Tokyo and Springer-Verlag, (1988)It Is Declarative.. ICLP, Seite 607. MIT Press, (1999)Inductive Assertion Method for Logic Programs., und . TAPSOFT, Vol.2, Volume 250 von Lecture Notes in Computer Science, Seite 167-181. Springer, (1987)Logic + control: An example.. ICLP (Technical Communications), Volume 17 von LIPIcs, Seite 301-311. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2012)Parametric Descriptive Types for CLP., , und . JFPLC, Seite 239-256. Hermes, (2001)On Negation As Instantiation., und . ALP, Volume 1139 von Lecture Notes in Computer Science, Seite 32-46. Springer, (1996)Hybrid Reasoning with Non-monotonic Rules.. Reasoning Web, Volume 6325 von Lecture Notes in Computer Science, Seite 28-61. Springer, (2010)Automatic Diagnosis of VLSI Digital Circuits Using Algorithmic Debugging., , und . AADEBUG, Volume 749 von Lecture Notes in Computer Science, Seite 350-367. Springer, (1993)