Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: formal (languages or language) and automated theory
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
dewey-ones:"620 - Engineering & allied operations"
Search alternatives
:
automated theory »
automated theorem
,
automata theory
,
automatic theorem
Showing
1
-
5
of
5
Search:
'formal (languages or language) and automated theory'
,
query time: 0.46s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
Generic Inference : a Unifying Theory for Automated Reasoning
by
Pouly, Marc
,
Kohlas, Jürg
Published 2011
Wiley
Table of Contents:
“
... Algebras for Path Problems --
Language
and Information -- Applications. Dynamic Programming -- Sparse...
”
Call Number:
QA162
Read Now
2
Modeling and Using Context : 5th International and Interdisciplinary Conference, CONTEXT 2005, Paris, France, July 5-8, 2005, Proceedings
Published 2005
Springer Berlin Heidelberg
Table of Contents:
“
... Architecture AKIRA -- Goal-Directed
Automated
Negotiation for Supporting Mobile User Coordination --...
”
Read Now
3
Advanced Information Networking and Applications : Proceedings of the 38th International Conference on Advanced Information Networking and Applications (AINA-2024), Volume 4
Published 2024
Springer Nature Switzerland
Table of Contents:
“
... -- Leveraging Chat-Based Large Vision-
Language
Models for Multimodal Out-of-Context Detection -- Enhancing the 5...
”
Read Now
4
Advances in Internet, Data & Web Technologies : The 12th International Conference on Emerging Internet, Data & Web Technologies (EIDWT-2024)
Published 2024
Springer Nature Switzerland
Table of Contents:
“
... App Interfaces with Large
Language
Model -- Towards the
Automated
Population of Thesauri Using Bert: A...
”
Read Now
5
Design Computing and Cognition '10
Published 2011
Springer Netherlands
Table of Contents:
“
... FBS framework, by Caetano Cascini, Luca Del Frate, Gualtiero Fantoni and Francesca Montagna --
Formal
...
”
Back
Narrow Search
Remove Filters
Clear Filter
Classification: 620 - Engineering & allied operations
Year of Publication
From:
To:
Classification
620 - Engineering & allied operations
510 - Mathematics
1
519 - Probabilities & applied mathematics
1
621 - Applied physics
1
Language
English
5
Collection
Springer eBooks 2005-
4
O'Reilly
1
Author
Barolli, Leonard
2
Dey, Anind
1
Gero, John S.
1
Kohlas, Jürg
1
Kokinov, Boicho
1
Leake, David
1
more ...
Pouly, Marc
1
Turner, Roy
1
see all ...
less ...
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?filter%5B%5D=dewey-ones%3A%22620+-+Engineering+%26+allied+operations%22&lookfor=formal+%28languages+or+language%29+and+automated+theory&type=AllFields
Send by Email
×
Loading...