Showing
1 - 8
results of
8
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
Logic, Symbolic and mathematical
Author:
Remove Filter
Nerode, Anil, 1932-
Page will reload when a filter is removed.
Reset Filters
Show filters (2)
Other:
Remove Filter
Logic, Symbolic and mathematical
Author:
Remove Filter
Nerode, Anil, 1932-
Search Results
Showing
1 - 8
results of
8
for search '
'
, query time: 0.25s
Refine Results
Sort
Relevance
Publish Date (newest first)
Publish Date (oldest first)
Call Number
Author
Title
1
Logical foundations of computer science--Tver '92 : second international symposium, Tver, Russia, July 20-24, 1992 proceedings /
Published 1992
Call Number:
Loading...
Located:
Loading...
Book
Loading...
2
Logic for applications /
by
Nerode, Anil, 1932-
Published 1993
Call Number:
Loading...
Located:
Loading...
Book
Loading...
3
Logical foundations of computer science : third international symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994 : proceedings /
Published 1994
Call Number:
Loading...
Located:
Loading...
Book
Loading...
4
Principles of logic and logic programming /
by
Metakides, George, 1945-
Published 1996
Call Number:
Loading...
Located:
Loading...
Book
Loading...
5
Logical foundations of computer science : 4th international symposium, LFCS ʼ97, Yaroslavl, Russia, July 6-12, 1997 : proceedings /
Published 1997
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
Conference Proceeding
eBook
6
Logical foundations of computer science : international symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007 : proceedings /
Published 2007
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
Conference Proceeding
Book
7
Logical foundations of computer science : international symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007 : proceedings /
Published 2007
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
Conference Proceeding
eBook
8
Logical foundations of computer science : International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 2009 : Proceedings /
Published 2009
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
Book
5 results
5
Conference Proceeding
4 results
4
eBook
3 results
3
Library Locations
Please enable JavaScript.
Year of Publication
From:
To:
Author
Nerode, Anil, 1932-
Artemov, S. N.
3 results
3
LFCS (Symposium) New York, N.Y.)
3 results
3
SpringerLink (Online service)
3 results
3
Adi︠a︡n, S. I.
1 results
1
LFCS (Symposium) I︠A︡roslavlʹ, I︠A︡roslavskai︠a︡ oblastʹ, Russia)
1 results
1
Matii͡asevich, I͡U. V. (I͡Uriĭ V.)
1 results
1
Metakides, George, 1945-
1 results
1
Shore, Richard A., 1946-
1 results
1
Taitslin, M. A. (Mikhail A.), 1936-
1 results
1
see all…
Language
English
8 results
8
Loading...