Login / Signup
A Selection of Papers Presented at the Symposium "Logic at Tver '92" - Preface.
Anil Nerode
Michael A. Taitslin
Published in:
Ann. Pure Appl. Log. (1994)
Keyphrases
</>
databases
artificial intelligence
logic programming
invited talk