KARNAK an automated theorem prover for PPC.
Elnadi, Tarek Mohamed; Hoogewijs, Albert
Bulletin of the Belgian Mathematical Society - Simon Stevin (1995)
- Volume: 2, Issue: 5, page 541-572
- ISSN: 1370-1444
Access Full Article
top
How to cite
topElnadi, Tarek Mohamed, and Hoogewijs, Albert. "KARNAK an automated theorem prover for PPC.." Bulletin of the Belgian Mathematical Society - Simon Stevin 2.5 (1995): 541-572. <http://eudml.org/doc/223364>.
@article{Elnadi1995,
author = {Elnadi, Tarek Mohamed, Hoogewijs, Albert},
journal = {Bulletin of the Belgian Mathematical Society - Simon Stevin},
keywords = {KARNAK; automated theorem prover},
language = {eng},
number = {5},
pages = {541-572},
publisher = {Société Mathématique de Belgique - Belgisch Wiskundig Genootschap},
title = {KARNAK an automated theorem prover for PPC.},
url = {http://eudml.org/doc/223364},
volume = {2},
year = {1995},
}
TY - JOUR
AU - Elnadi, Tarek Mohamed
AU - Hoogewijs, Albert
TI - KARNAK an automated theorem prover for PPC.
JO - Bulletin of the Belgian Mathematical Society - Simon Stevin
PY - 1995
PB - Société Mathématique de Belgique - Belgisch Wiskundig Genootschap
VL - 2
IS - 5
SP - 541
EP - 572
LA - eng
KW - KARNAK; automated theorem prover
UR - http://eudml.org/doc/223364
ER -
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.