Research Catalog

Higher order logic theorem proving and its applications : 7th international workshop, Valletta, Malta, September 19-22, 1994 : proceedings

Title: Higher order logic theorem proving and its applications : 7th international workshop, Valletta, Malta, September 19-22, 1994 : proceedings / Thomas F. Melham, Juanito Camilleri (eds.).
Publication: Berlin ; New York : Springer-Verlag, c1994.

Items in the Library & Off-site

Filter by

1 Item

Item details
Status	Format	Access	Call Number	Item Location
Request for On-site Use Request Scan How do I pick up this item and when will it be ready?	Text	Request in advance	JSE 95-339	Offsite

Details

Additional Authors

Description

ix, 470 p. : ill.; 24 cm.

Series Statement

Lecture notes in computer science ; 859

Subject

Automatic theorem proving > Congresses

Bibliography (note)

Includes bibliographical references.

Call Number

JSE 95-339

ISBN

3540584501 (acid-free paper)
0387584501

LCCN

94035140

OCLC

31074869

Title

Higher order logic theorem proving and its applications : 7th international workshop, Valletta, Malta, September 19-22, 1994 : proceedings / Thomas F. Melham, Juanito Camilleri (eds.).

Imprint

Berlin ; New York : Springer-Verlag, c1994.

Series

Lecture notes in computer science ; 859

Bibliography

Includes bibliographical references.

Added Author

Melham, T. F. (Tom F.)

Camilleri, Juanito.

Research Call Number

JSE 95-339

View in Legacy Catalog