Showing
1 - 2
results of
2
for search '
"Matii︠a︡sevich, I︠U︡. V. (I︠U︡riĭ V.)"
'
Skip to content
VuFind
Login
Combined
Law Online Resources
Falvey Library
Law Library
Law Library
-- Title
-- Author
-- Subject
-- Series
-- Call Number
-- ISBN/ISSN
-- Tag
-- Browse Alphabetically: By Topic
-- Browse Alphabetically: By Author
-- Browse Alphabetically: By Title
-- Browse Alphabetically: By Call Number
-- Browse Alphabetically: By SuDoc Number
Falvey Library
-- Title
-- Author
-- Subject
-- Call Number
-- ISBN/ISSN
-- Tag
Research Guides
Find
Advanced
Search Results - "Matii︠a︡sevich, I︠U︡. V. (I︠U︡riĭ V.)"
Showing
1 - 2
results of
2
for search '
"Matii︠a︡sevich, I︠U︡. V. (I︠U︡riĭ V.)"
'
, query time: 0.04s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Author
Title
1
Hilbert's tenth problem /
by
Matii︠a︡sevich, I︠U︡. V. (I︠U︡riĭ V
.)
,
PALCI EBSCO books
Published:
MIT Press,
1993
Call Number:
QA242 .M4213 1993
Get full text
Online
Book
Save to List
Saved in:
2
Logical foundations of computer science : third international symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994 : proceedings /
Published:
Springer-Verlag,
1994
Other Authors:
Call Number:
QA75.5 .L64 1994
Book
Save to List
Saved in:
Search Tools:
RSS Feed
Email Search
Save Search
Back
Refine Results
Page will reload when a filter is selected or excluded.
Collection
Main Stacks
1 results
1
Exclude matching results
Online
1 results
1
Exclude matching results
Format
Book
2 results
2
Exclude matching results
Online
1 results
1
Exclude matching results
Call Number
Q - Science
2 results
2
Exclude matching results
Topic
Computable functions
1 results
1
Exclude matching results
Computer science
1 results
1
Exclude matching results
Congresses
1 results
1
Exclude matching results
Hilbert's tenth problem
1 results
1
Exclude matching results
Hilberts tiende probleem
1 results
1
Exclude matching results
Logic, Symbolic and mathematical
1 results
1
Exclude matching results
MATHEMATICS
1 results
1
Exclude matching results
Number Theory
1 results
1
Exclude matching results
see all…
Author
Matii︠a︡sevich, I︠U︡. V. (I︠U︡riĭ V.)
2 results
2
Exclude matching results
Nerode, Anil, 1932-
1 results
1
Exclude matching results
PALCI EBSCO books
1 results
1
Exclude matching results
Language
English
2 results
2
Exclude matching results
Russian
1 results
1
Exclude matching results
Genre
Electronic books
1 results
1
Exclude matching results
Year of Publication
From:
To: