 |
Fakultät für Informatik - Technische Universität MünchenLehrstuhl für Effiziente Algorithmen |
 |
Die bibliographische Datenbank LEABib
Suchen •
Liste der Journale •
Liste der Serien •
Liste der Konferenzen •
Ausgewählte Publikationen 
|
Hilfe 
|
 |
|
| Suche: Citkey="Yamasaki-Doshita/83" |
|
The Satisfiability Problem for a Class Consisting of Horn Sentences and Some Non-Horn Sentences in Proportional Logic
Susumu Yamasaki, Shuji Doshita
Information and Control 59 (1-3), 1983, pp. 1-12
| Publisher: | Academic Press | |
| Address: | New York-San Francisco-London-San Diego | |
| Note: | see Erratum in Inf.~Control, Vol. 61, 174 | |
|
|
|
|