TAS-D++: Syntactic trees transformations for automated theorem proving

  1. Aguilera, G.
  2. de Guzmáns, I.P.
  3. Ojeda, M.
Book Series:
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

ISSN: 1611-3349,  0302-9743

ISBN: 9783540583325

Year of publication: 1994

Logics in Artificial Intelligence - European Workshop JELIA 1994, Proceedings

Volume: 838 LNAI

Pages: 198-216

Type: Conference paper

DOI: 10.1007/BFB0021973 GOOGLE SCHOLAR
Data source: Scopus