Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: (((("programming language") OR ("programming languages"))) or ("program language"))
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:"160 - Logic"
Showing
1
-
6
of
6
Search:
'(((("programming language") OR ("programming languages"))) or ("program language"))'
,
query time: 0.46s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
Logic, Language, Information, and Computation : 28th International Workshop, WoLLIC 2022, Iași, Romania, September 20–23, 2022, Proceedings
Published 2022
Springer International Publishing
Table of Contents:
“
... calculus -- Semantics of
programming
languages
-- Computational linguistics.-Language and computation...
”
Read Now
2
Logic, methodology and philosophy of science IV : proceedings of the Fourth International congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971
by
Suppes, Patrick
Published 1973
North-Holland Pub. Co.
Table of Contents:
“
...Chapter 17 Features of Natural Languages in
Programming
Languages
PART IV PHILOSOPHY OF LOGIC...
”
Call Number:
BC135
Read Now
3
Dictionary of Logic as Applied in the Study of Language : Concepts/Methods/Theories
Published 1981
Springer Netherlands
Table of Contents:
“
... -- Probability --
Programming
languages
-- Quantifiers -- Questions -- Recursive functions -- Relations, theory...
”
Read Now
4
Truth, Proof and Infinity : A Theory of Constructive Reasoning
by
Fletcher, P.
Published 1998
Springer Netherlands
Table of Contents:
“
... Language as a Functional
Programming
Language
-- 24. Introduction to Part III -- 25. From the Coding...
”
Read Now
5
Domain Theory, Logic and Computation : Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001
Published 2003
Springer Netherlands
“
... computation. The theory of domains has proved to be a useful tool for
programming
languages
and other areas...
”
Read Now
6
Samson Abramsky on Logic and Structure in Computer Science and Beyond
Published 2023
Springer International Publishing
“
..., spanning from philosophical aspects to logic,
programming
language
theory, quantum theory, economics...
”
Back
Narrow Search
Remove Filters
Clear Filter
Classification: 160 - Logic
Year of Publication
From:
To:
Classification
160 - Logic
Language
English
6
Collection
Springer Book Archives -2004
3
Springer eBooks 2005-
2
Elsevier eBook collection Mathematics
1
Author
Academia Republicii Socialiste România
1
Ciabattoni, Agata
1
Fletcher, P.
1
Guo-Qiang Zhang
1
International Congress for Logic, Methodology, and Philosophy of Science ( 1971, Bucharest, Romania)
1
International Union of the History and Philosophy of Science Division of Logic, Methodology and Philosophy of Science
1
more ...
Lawson, J.
1
Luo, M.K.
1
Marciszewski, W.
1
Palmigiano, Alessandra
1
Pimentel, Elaine
1
Sadrzadeh, Mehrnoosh
1
Suppes, Patrick
1
Ying Ming Liu
1
de Queiroz, Ruy J. G. B.
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%22160+-+Logic%22&lookfor=%28%28%28%28%22programming+language%22%29+OR+%28%22programming+languages%22%29%29%29+or+%28%22program+language%22%29%29&type=AllFields
Send by Email
×
Loading...