Publications by Year
sign in
Book Chapter
Search:
Search
F. J. M. Teusink (Frank)
1993
A proof procedure for extended logic programs
Publication
Publication
Presented at the
Logic Programming
, Vancouver, BC
Additional Metadata
Conference
Logic Programming
Citation
APA Style
AAA Style
APA Style
Cell Style
Chicago Style
Harvard Style
IEEE Style
MLA Style
Nature Style
Vancouver Style
American-Institute-of-Physics Style
Council-of-Science-Editors Style
BibTex Format
Endnote Format
RIS Format
CSL Format
DOIs only Format
Teusink, F. (1993). A proof procedure for extended logic programs.
Full Text
( Final Version , 1mb )
×
Workflow
×
Workflow
×
Add Content
User
Publication
Person
Organisation
Collection