Showing
1 - 7
results of
7
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
déduction
Page will reload when a filter is removed.
Reset Filters
Show filters (1)
Other:
Remove Filter
déduction
Search Results
Showing
1 - 7
results of
7
for search '
'
, query time: 0.20s
Refine Results
Sort
Relevance
Publish Date (newest first)
Publish Date (oldest first)
Call Number
Author
Title
1
Logic programming and automated reasoning : 5th International Conference, LPAR '94, Kiev, Ukraine, July 16-22, 1994 : proceedings /
Published 1994
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
Conference Proceeding
eBook
2
Isabelle : a generic theorem prover /
by
Paulson, Lawrence C.
Published 1994
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
eBook
3
Constraints in computational logics : first international conference, CCL '94, Munich, Germany, September 7-9, 1994 : proceedings /
Published 1994
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
eBook
4
Term rewriting : French Spring School of Theoretical Computer Scas printed], France, May 17-21, 1993 : advanced course /
Published 1995
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
Conference Proceeding
eBook
5
Rewriting techniques and applications : 6th international conference, RTA-95, Kaiserslautern, Germany, April 5-7, 1995 : proceedings /
Published 1995
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
Conference Proceeding
eBook
6
Proof theory in computer science : international seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001 : proceedings /
Published 2001
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
Conference Proceeding
eBook
7
Extensions of logic programming : 5th international workshop, ELP '96, Leipzig, Germany, March 28-30, 1996 : proceedings /
Published 1996
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
Conference Proceeding
eBook
Search Tools:
RSS Feed
–
Email Search
Back
Refine Results
Page will reload when a filter is selected or excluded.
Available Online
Format
eBook
7 results
7
Conference Proceeding
5 results
5
Library Locations
Please enable JavaScript.
Year of Publication
From:
To:
Author
SpringerLink (Online service)
7 results
7
Jouannaud, Jean-Pierre
2 results
2
Schroeder-Heister, Peter Joseph, 1953-
2 results
2
Comon, Hubert
1 results
1
Dyckhoff, Roy, 1948-
1 results
1
ELP '96 Leipzig, Germany
1 results
1
French Spring School of Theoretical Computer Science
1 results
1
Herre, Heinrich
1 results
1
Hsiang, Jieh, 1954-
1 results
1
International Conference on Rewriting Techniques and Applications
1 results
1
Kahle, Reinhard, 1967-
1 results
1
LPAR (Conference) Kiev, Ukraine)
1 results
1
Nipkow, Tobias, 1958-
1 results
1
PTCS 2001 Dagstuhl Castle
1 results
1
Paulson, Lawrence C.
1 results
1
Pfenning, Frank
1 results
1
Stärk, Robert F., 1963-
1 results
1
see all…
Language
English
7 results
7
Geography
Kiew <1994>
1 results
1
Loading...