Another tableau based automated theorem prover for classical logic

Research output: Contribution to journal › Article › Scientific

Original language	English
Pages (from-to)	185-197
Journal	Bulletin of the European Association for Theoretical Computer Science
Issue number	35
Publication status	Published - 1988

Cite this

@article{1dde42814392405484ed1007ac71c981,

title = "Another tableau based automated theorem prover for classical logic",

author = "{de Swart}, Harrie and W.M.J. Ophelders",

year = "1988",

language = "English",

pages = "185--197",

journal = "Bulletin of the European Association for Theoretical Computer Science",

publisher = "European Association for Theoretical Computer Science (EATCS) ",

number = "35",

}