Showing
1 - 6
results of
6
for search '
'
Skip to content
Texas A&M University Libraries
Texas A&M University Libraries
MyLibrary
Help
MyLibrary
Help
Libraries Catalog
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Find
Advanced
Page will reload when a filter is removed.
Reset Filters
Applied Filters:
Other:
Remove Filter
HOL
Page will reload when a filter is removed.
Reset Filters
Show filters (1)
Other:
Remove Filter
HOL
Search Results
Showing
1 - 6
results of
6
for search '
'
, query time: 0.23s
Refine Results
Sort
Relevance
Publish Date (newest first)
Publish Date (oldest first)
Call Number
Author
Title
1
Higher order logic theorem proving and its applications : 7th international workshop, Valletta, Malta, September 19-22, 1994 : proceedings /
Published 1994
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
eBook
2
Formal development of reactive systems : case study production cell /
Published 1995
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
eBook
3
Logics for concurrency : structure versus automata /
Published 1996
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
eBook
4
Theorem proving in higher order logics : 11th international conference, TPHOLs '98, Canberra, Australia, September 27-October 1, 1998 : proceedings /
Published 1998
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
Conference Proceeding
eBook
5
ZUM'98 : the Z formal specification notation : 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998 : proceedings /
Published 1998
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
Conference Proceeding
eBook
6
Theorem proving with the real numbers /
by
Harrison, J. (John), 1966-
Published 1998
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
eBook
Search Tools:
RSS Feed
–
Email Search
Back
Refine Results
Page will reload when a filter is selected or excluded.
Available Online
Format
eBook
6 results
6
Conference Proceeding
2 results
2
Library Locations
Please enable JavaScript.
Year of Publication
From:
To:
Author
SpringerLink (Online service)
6 results
6
Birtwistle, G. M. (Graham M.)
1 results
1
Bowen, J. P. (Jonathan Peter), 1956-
1 results
1
Camilleri, Juanito
1 results
1
Fett, Andreas
1 results
1
Grundy, J. (Jim), 1968-
1 results
1
Harrison, J. (John), 1966-
1 results
1
Hinchey, Michael G. (Michael Gerard), 1969-
1 results
1
International Conference of Z Users Berlin, Germany
1 results
1
Lewerentz, Claus
1 results
1
Lindner, Thomas, 1966-
1 results
1
Melham, T. F. (Tom F.)
1 results
1
Moller, Faron, 1962-
1 results
1
Newey, Malcolm Charles
1 results
1
TPHOLs Canberra, A.C.T.
1 results
1
see all…
Language
English
6 results
6
Geography
Canberra
1 results
1
Valletta
1 results
1
Loading...