1961
3 works on record
Computational Logic in Multi-Agent Systems
Nonmonotonic and inductive logic
Nichtmonotones Schliessen und dessen Anwendung auf Semantiken logischer Programme