Showing
1 - 1
results of
1
for search '
de Moura, Flávio L. C.
'
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, Flávio L. C.
Showing
1 - 1
results of
1
for search '
de Moura, Flávio L. C.
', query time: 0.30s
Results per page
10
20
40
60
80
100
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
List
Grid
1
Applied Logic for Computer Scientists Computational Deduction and Formal Proofs / by Mauricio Ayala-Rincón, Flávio L. C. de Moura.
by
Ayala-Rincón, Mauricio.
,
Ayala-Rincón, Mauricio.
,
de
Moura
,
Flávio
L
.
C
.
Published 2017
Other Authors:
';
“
...
de
Moura
,
Flávio
L
.
C
....
”
Call Number:
Loading...
Located:
Loading...
Get full text
Show QR Code
Search Tools:
Get RSS Feed
—
Email this Search
Related Subjects
Computer logic
Computer science—Mathematics
Logics and Meanings of Programs
Math Applications in Computer Science
Mathematical Logic and Formal Languages
Mathematical logic
×
Loading...
