Showing
1 - 3
results of
3
for search '
de Moura, Leonardo.
'
Skip to content
Toggle navigation
SEAL
Language
English
Malay
中文(简体)
தமிழ்
اللغة العربية
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Accession No
Control No
Find
Advanced
Author
de Moura, Leonardo.
Showing
1 - 3
results of
3
for search '
de Moura, Leonardo.
', query time: 1.47s
Results per page
10
20
40
60
80
100
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
List
Grid
1
Automated Deduction – CADE 26 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings / edited by Leonardo de Moura.
Published 2017
Other Authors:
';
“
...
de
Moura
,
Leonardo
....
”
Call Number:
Loading...
Located:
Loading...
Get full text
Show QR Code
2
Formal Methods: Foundations and Applications 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013. Proceedings / edited by Juliano Iyoda, Leonardo...
Published 2013
Other Authors:
';
“
...
de
Moura
,
Leonardo
....
”
Call Number:
Loading...
Located:
Loading...
Get full text
Show QR Code
3
Intelligent Computer Mathematics 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings / edited by Michael Kohlhase, Moa Johansson, Bruce Miller...
Published 2016
Other Authors:
';
“
...
de
Moura
,
Leonardo
....
”
Call Number:
Loading...
Located:
Loading...
Get full text
Show QR Code
Search Tools:
Get RSS Feed
—
Email this Search
Related Subjects
Artificial Intelligence
Artificial intelligence
Computer logic
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Mathematical logic
Software Engineering
Software engineering
Algorithm Analysis and Problem Complexity
Algorithms
Computer Science, general
Computer science
Computer simulation
Programming Languages, Compilers, Interpreters
Programming languages (Electronic computers)
Simulation and Modeling
×
Loading...
