Showing
1 - 1
results of
1
for search '
"IFIP transaction,"
'
Skip to content
Toggle navigation
SEAL
Language
English
Malay
中文(简体)
தமிழ்
اللغة العربية
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Accession No
Control No
Find
Advanced
Search: "IFIP transaction,"
Suggested Topics within your search.
Automatic theorem proving --
1
Congresses
1
Logic, symbolic and mathematic --
1
Showing
1 - 1
results of
1
for search '
"IFIP transaction,"
', query time: 1.47s
Results per page
10
20
40
60
80
100
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
List
Grid
1
Higher order logic theorem proving and its applications : proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications--HOL...
Published 1993
“
...
IFIP
transaction
,...
”
Call Number:
Loading...
Located:
Loading...
Loading...
Show QR Code
Search Tools:
Get RSS Feed
—
Email this Search
Narrow Search
Call Number
1
Q - Science
Author
1
Claesen, Luc J. M.
1
Commission of the European Communities
1
Gordon, Michael J. C.
1
Interuniversity Micro-Electronics Center
1
Proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Application(:
Language
1
English
Year of Publication
From:
To:
×
Loading...
