Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: (( formal languages and automated theory ) OR ( formal languages and automated theorem ))
Language
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
All Fields
Title
Person
Topic
ISBN/ISSN
Year
Collection
Advanced
Retain my current filters
author_facet:"Rudolph, Sebastian"
Showing
1
-
4
of
4
Search:
'(( formal languages and automated theory ) OR ( formal languages and automated theorem ))'
,
query time: 0.03s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
Artificial General Intelligence : 6th International Conference, AGI 2013, Beijing, China, July 31 -- August 3, 2013, Proceedings
Published 2013
Springer Berlin Heidelberg
Subjects:
“
...
Formal
Languages
and Automata
Theory
...
”
Read Now
2
Graph Structures for Knowledge Representation and Reasoning : 6th International Workshop, GKR 2020, Virtual Event, September 5, 2020, Revised Selected Papers
Published 2021
Springer International Publishing
Table of Contents:
“
...
Language
Generation Technique for
Automated
Psychotherapy -- Creative Composition Problem: A Knowledge...
”
Read Now
3
The Semantic Web: ESWC 2018 Satellite Events : ESWC 2018 Satellite Events, Heraklion, Crete, Greece, June 3-7, 2018, Revised Selected Papers
Published 2018
Springer International Publishing
Table of Contents:
“
... and Share Semantic Profiles of RDF Knowledge Graphs -- Entity Linking in 40
Languages
using MAG -- Ulysses...
”
Read Now
4
Foundations of Semantic Web technologies
by
Hitzler, Pascal
Published 2009
Chapman and Hall/CRC
Table of Contents:
“
... Engineering -- Chapter 9: Applications -- Appendix A: Extensible Markup
Language
XML -- Appendix B: Set
Theory
...
”
Call Number:
TK5105.88815
Back
Narrow Search
Remove Filters
Clear Filter
Author: Rudolph, Sebastian
Year of Publication
From:
To:
Classification
006 - Special computer methods
2
025 - Library operations
2
500 - Natural sciences & mathematics
1
Language
English
4
Collection
Springer eBooks 2005-
3
O'Reilly
1
Author
Rudolph, Sebastian
Cochez, Michael
1
Croitoru, Madalina
1
Gangemi, Aldo
1
Gentile, Anna Lisa
1
Hitzler, Pascal
1
more ...
Krötzsch, Markus
1
Kühnberger, Kai-Uwe
1
Marquis, Pierre
1
Nuzzolese, Andrea Giovanni
1
Wang, Pei
1
see all ...
less ...
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?filter%5B%5D=author_facet%3A%22Rudolph%2C+Sebastian%22&lookfor=%28%28+formal+languages+and+automated+theory+%29+OR+%28+formal+languages+and+automated+theorem+%29%29&type=AllFields
Send by Email
×
Loading...