Showing
1 - 1
results of
1
for search '
Voronkov, Andrei
'
Skip to content
AUNILO IRDS | AUNILO Institutional Repository Discovery Service
FAQs
|
Search Tips
|
Feedback
Your Account
Log Out
Login
Theme
Bootstrap
Aunilo
Language
English
中文(繁體)
اللغة العربية
Toggle navigation
Home
Search/Browse Options
Search History
Advanced Search
About
About AUNILO IRDS
Content Sources
Statistics
Technical Team
Disclaimer
Privacy & Security Policy
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Find
Advanced
Author
Voronkov, Andrei
Andrei Voronkov
Andrei Anatolievič Voronkov
(born 1959) is a
Professor
of
Formal methods
in the
Department of Computer Science
at the
University of Manchester
.
Provided by Wikipedia
Showing
1 - 1
results of
1
for search '
Voronkov, Andrei
'
, query time: 0.02s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
1
Descriptive Types for Linked Data Resources
by
Horne, Ross
,
Sassone, Vladimiro
,
Ciobanu, Gabriel
Published 2015
Other Authors:
“
...
Voronkov
,
Andrei
...
”
Get full text
Get full text
Conference or Workshop Item
Save to List
Saved in:
Search Tools:
Get RSS Feed
—
Email this Search
—
×
Loading...