# Discussing Graph Theory with a Computer III, Man-machine Theorem Proving

Dragoš M. Cvetković; Irena Pevac

Publications de l'Institut Mathématique (1983)

- Volume: 34(48), Issue: 54, page 37-47
- ISSN: 0350-1302

## Access Full Article

top## How to cite

topDragoš M. Cvetković, and Irena Pevac. "Discussing Graph Theory with a Computer III, Man-machine Theorem Proving." Publications de l'Institut Mathématique 34(48).54 (1983): 37-47. <http://eudml.org/doc/258484>.

@article{DragošM1983,

author = {Dragoš M. Cvetković, Irena Pevac},

journal = {Publications de l'Institut Mathématique},

keywords = {theorem prover; graph theorem},

language = {eng},

number = {54},

pages = {37-47},

publisher = {Matematički institut SANU},

title = {Discussing Graph Theory with a Computer III, Man-machine Theorem Proving},

url = {http://eudml.org/doc/258484},

volume = {34(48)},

year = {1983},

}

TY - JOUR

AU - Dragoš M. Cvetković

AU - Irena Pevac

TI - Discussing Graph Theory with a Computer III, Man-machine Theorem Proving

JO - Publications de l'Institut Mathématique

PY - 1983

PB - Matematički institut SANU

VL - 34(48)

IS - 54

SP - 37

EP - 47

LA - eng

KW - theorem prover; graph theorem

UR - http://eudml.org/doc/258484

ER -

## NotesEmbed ?

topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.