Showing
1 - 3
results of
3
for search '
Finkbeiner, Bernd.
'
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
Finkbeiner, Bernd.
Showing
1 - 3
results of
3
for search '
Finkbeiner, Bernd.
', query time: 1.44s
Results per page
10
20
40
60
80
100
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
List
Grid
1
Automated Technology for Verification and Analysis 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings / edited by Bernd Finkbeiner, Geguang...
Published 2015
Other Authors:
';
“
...
Finkbeiner
,
Bernd
....
”
Call Number:
Loading...
Located:
Loading...
Get full text
Show QR Code
2
Fields of Logic and Computation III Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday / edited by Andreas Blass, Patrick Cégielski, Nachum Dershowitz, Manfred...
Published 2020
Other Authors:
';
“
...
Finkbeiner
,
Bernd
....
”
Call Number:
Loading...
Located:
Loading...
Get full text
Show QR Code
3
Fields of Logic and Computation II Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday / edited by Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Fi...
Published 2015
Other Authors:
';
“
...
Finkbeiner
,
Bernd
....
”
Call Number:
Loading...
Located:
Loading...
Get full text
Show QR Code
Search Tools:
Get RSS Feed
—
Email this Search
Related Subjects
Computer programming
Programming Techniques
Artificial intelligence
Computer logic
Artificial Intelligence
Computer Communication Networks
Computer communication systems
Data Structures
Data structures (Computer science)
Logic in AI
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Mathematical logic
Programming Languages, Compilers, Interpreters
Programming languages (Electronic computers)
Software Engineering
Software engineering
Special Purpose and Application-Based Systems
Special purpose computers
×
Loading...
