Theorem proving in higher order logics 9th International Conference, TPHOLs '96, Turku, Finland, August 26-30, 1996 : proceedings
Saved in:
| Corporate Author: | |
|---|---|
| Other Authors: | , , |
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
Berlin, Germany
Springer 1996
|
| Series: | Lecture notes in computer science
1125 |
| Subjects: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
MARC
| LEADER | 00000nam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | 46915 | ||
| 003 | MY-KLNDU | ||
| 005 | 20241219005026.0 | ||
| 008 | 120921 1996 gw a bi 000 0 eng d | ||
| 020 | |a 3540615873 | ||
| 022 | |a 0302-9743 | ||
| 039 | 9 | |a 201210091111 |b shahrim |y 201209211118 |z azraai | |
| 040 | |a UPNM | ||
| 090 | |a ref QA 76.9.A96 |b T66 1996 | ||
| 111 | 2 | |a TPHOLs '96 |d (1996 |c Turku, Finland) | |
| 245 | 1 | 0 | |a Theorem proving in higher order logics |b 9th International Conference, TPHOLs '96, Turku, Finland, August 26-30, 1996 : proceedings |c J. von Wright, J. Grundy, J. Harrison (eds.) |
| 260 | |a Berlin, Germany |c Springer |c 1996 | ||
| 300 | |a viii, 446 p. |b ill. |c 24 cm. | ||
| 490 | 1 | |a Lecture notes in computer science |x 0302-9743 |v 1125 | |
| 504 | |a Includes bibliographical references and index | ||
| 650 | 0 | |a Automatic theorem proving |v Congresses | |
| 700 | 1 | |a Wright, J. | |
| 700 | 1 | |a Grudy, J. | |
| 700 | 1 | |a Harisson, J. | |
| 999 | |a vtls000047562 |c 46915 |d 46915 | ||