You are here: TUCS > PUBLICATIONS > Publication Search > Developing a Graphic Theorem P...
- TUCS Publication Series
- How to Publish in TUCS Series
- Publication Search
- Publication Graph
- Publication Input
- Publication Input Guide
- JuFo Browser
Developing a Graphic Theorem Proving Tool
Thomas Långbacka, Developing a Graphic Theorem Proving Tool. In: Logic, Mathematics and the Computer - Foundations: History, Philosophy and Applications, Symposium Series, Finnish Artificial Intelligence Society 14, 179--188, 1996.
BibTeX entry:
@INPROCEEDINGS{pLangbacka96,
title = {Developing a Graphic Theorem Proving Tool},
booktitle = {Logic, Mathematics and the Computer - Foundations: History, Philosophy and Applications},
author = {Långbacka, Thomas},
volume = {14},
series = {Symposium Series, Finnish Artificial Intelligence Society},
pages = {179--188},
year = {1996},
}