sort by
approximate search
1shortlisttitle datasearch history  
results search [or] ISN:0000000116557100 | 1 hits
Person
ISNI: 
0000 0001 1655 7100
Name: 
Furbach, U.
Furbach, Ulrich
Ulrich Furbach (deutscher Informatiker)
Ulrich Furbach (Duits informaticus)
Ulrich Furbach (German computer scientist)
Ulrich Furbach (informaticien allemand)
Dates: 
1948-
Creation class: 
Computer file
cre
Language material
Text
Creation role: 
author
contributor
editor
redactor
writer of accompanying material
Related names: 
Dix, Jürgen (1961-...)
Fariñas del Cerro, Luis
Fronhöfer, Bertram
Hölldobler, Steffen (1957-)
Journées européennes sur la logique en intelligence artificielle 1998
Maron, Markus
München, Techn. Univ
Nerode, Anil
Obermaier, Claudia
Read, Kevin
Schreiber, Joachim
Shankar, N.
Shankar, Natarajan
Titles: 
Abstracts of the Workshop "Massively Parallel Inference Systems" December 17 - 18, 1990
Applications of automated reasoning
Automated reasoning : third international joint conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings
Campus news - an intelligent bluetooth based mobile information network
Computational Logic — CL 2000 First International Conference London, UK, July 24–28, 2000 Proceedings
Deduction 28.02.1999 - 05.03.1999
Equations, order-sortedness and inheritance in logic programming
ESPRIT project 973 ALPES a programming environment for logic programming
Extended unification and its implementation
FHCL - functions in Horn Clause logic
Hyper tableaux with equality
IRobot-uMan : künstliche Intelligenz und Kultur : eine jahrtausendealte Beziehungskiste
KI 2005 : advances in artificial intelligence : 28th Annual German Conference on AI, KI 2005, Koblenz, Germany, September 11-14, 2005 : proceedings
Knowledge compilation for description logics
Linear paramodulation modulo equality
Location based informationsystems
Logic programming and nonmonotonic reasoning, 1997:
Logics in artificial intelligence : European Workshop, JELIA'98 Dagstuhl, Germany, October 12-15, 1998 : proceedings
Logische und funktionale Programmierung ; Grundlagen einer Kombination
Modelling the combination of functional and logic programming languages
Multi-agent systems modeling and verification using hybrid automata
Rigorous derivation of a sophisticated algorithm: smoothsort
Semantically guided evolution of SHI ABoxes
Sorts are nothing but functions an equational approach to sorts for logic programming
Special issue Advances in first-order theorem proving
Splitting as a source of parallelism in disjunctive logic programs
Transformation systems for program synthesis Knuth-Bendix completion and fold/unfold
Über Transformationsregeln für nichtdeterministische rekursive Funktionsdefinitionen
Wissensrepräsentation in künstlichen symbolverarbeitenden Systemen
Wissensrepräsentation und Programmiersprachen
Workshop Verification, Construction, and Synthesis of Programs April 6 and 7, 1989 in Karlsruhe
Notes: 
Zugl.: München, Techn. Univ., Habil.-Schr., 1990 u.d.T.: Furbach, Ulrich: Funktionen in Hornklausellogik
Sources: 
VIAF DNB LC NKC NUKAT SUDOC WKD
BOWKER
NTA
TEL