Record Details
  « New Search    
Bibliographic Data
Control NumberUPD-00000177479
Date and Time of Latest Transaction20090716221812.0
General Information080209s1995 gw a b 100 0 eng
International Standard Book Number3540602755
Cataloging SourceDENG
Language Codeeng
Local Call NumberQA 76.9 A96 H54 1995
Title StatementHigher order logic theorem proving and its applications : 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995 : proceedings / E. Thomas Schubert, Phillip J. Windley, James Alves-Foss, eds
Physical Descriptionviii, 400 p. : ill
Series Statement/Added Entry - TitleLecture notes in computer science ; 971
Subject Added Entry - Topical TermAutomatic theorem proving -- Congresses
 Logic, Symbolic and mathematical -- Congresses
Added Entry - Personal NameSchubert, E. Thomas, 1959-
 Windley, Phillip J., 1958-
 Alves-Foss, James, 1964-
Collection CategoryFO
FormatMeeting document
LocationUP DENG-II QA 76.9 A96 H54 1995 UDEGB0015931 Regular Circulation E-ESEP-2334
Textual Physical Form DesignatorBook
Physical Location
University of the Philippines
Diliman: College of Engineering Library IIQA 76.9 A96 H54 1995
Digital Copy
Not Available
Online Catalog
Basic Search
Advanced Search
Browse Subjects
Book Cart

Text Size:
S  -  M  -  L
Copyright © 2004-2023. Philippine eLib Project
Host: U.P. Diliman University Library