Autor der Publikation

Proving Properties of Rule-Based Systems.

, und . International Journal of Software Engineering and Knowledge Engineering, 2 (1): 121-144 (1992)

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

The Synthesis of Structure Changing Programs., und . ICSE, Seite 175-187. IEEE Computer Society, (1978)Web Agents Cooperating Deductively.. FAABS, Volume 1871 von Lecture Notes in Computer Science, Seite 250-262. Springer, (2000)Accessing Information and Services on the DAML-Enabled Web., , , , und . SemWeb, Volume 40 von CEUR Workshop Proceedings, CEUR-WS.org, (2001)Consistency Checking of Semantic Web Ontologies., , , und . ISWC, Volume 2342 von Lecture Notes in Computer Science, Seite 454-459. Springer, (2002)A Temporal Plan Theory., , und . WOCFAI, Seite 253-261. Angkor, 6, rue Maître-Albert, 75005 Paris, France, (1995)A Language for Writing Problem-Solving Programs., , und . IFIP Congress (1), Seite 201-205. North-Holland, (1971)How to Clear a Block: Plan Formation in Situational Logic., und . CADE, Volume 230 von Lecture Notes in Computer Science, Seite 622-640. Springer, (1986)The Special-Relation Rules are Incomplete., und . CADE, Volume 607 von Lecture Notes in Computer Science, Seite 492-506. Springer, (1992)Is 'Sometime' Sometimes Better Than 'Always'? Intermittent Assertions in Proving Program Correctness., und . ICSE, Seite 32-39. IEEE Computer Society, (1976)Deductive Composition of Astronomical Software from Subroutine Libraries., , , , und . CADE, Volume 814 von Lecture Notes in Computer Science, Seite 341-355. Springer, (1994)