Home
|
About
|
Membership
|
Register
|
Contact Us
|
Site Links
|
Site Map
|
Login
Record Details
«
New Search
Brief Record
Full Record
MARC Record
Bibliographic Data
Control Number
UPD-00000177479
Date and Time of Latest Transaction
20090716221812.0
General Information
080209s1995 gw a b 100 0 eng
International Standard Book Number
3540602755
Cataloging Source
DENG
Language Code
eng
Local Call Number
QA 76.9 A96 H54 1995
Title Statement
Higher 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 Description
viii, 400 p. : ill
Series Statement/Added Entry - Title
Lecture notes in computer science ; 971
Subject Added Entry - Topical Term
Automatic theorem proving -- Congresses
Logic, Symbolic and mathematical -- Congresses
Added Entry - Personal Name
Schubert, E. Thomas
, 1959-
Windley, Phillip J.
, 1958-
Alves-Foss, James
, 1964-
Collection Category
FO
Format
Meeting document
Location
UP DENG-II QA 76.9 A96 H54 1995 UDEGB0015931 Regular Circulation E-ESEP-2334
Textual Physical Form Designator
Book
Physical Location
University of the Philippines
Diliman: College of Engineering Library II
QA 76.9 A96 H54 1995
Digital Copy
Not Available
Add to Book Cart
|
Download MARC
Online Catalog
Basic Search
Advanced Search
Browse Subjects
Book Cart
Text Size:
S
-
M
-
L
Home
|
About
|
Membership
|
Register
|
Contact Us
|
Site Links
|
Site Map
|
Login
Copyright © 2004-2024. Philippine eLib Project
Host: U.P. Diliman University Library