Search Results for Mathematical logic.

21 sonuç bulundu

Tümünü Seç

1 2

000000000000DEFAULTTR

Constructivity and Computability in Historical and Philosophical Perspective

Yazar

Dubucs, Jacques. editor.

http://dx.doi.org/10.1007/978-94-017-9217-2

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Foundations.

Turing Computability Theory and Applications

Yazar

Soare, Robert I. author.

http://dx.doi.org/10.1007/978-3-642-31933-4

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Foundations.

Finitely Supported Mathematics An Introduction

Yazar

Alexandru, Andrei. author.

http://dx.doi.org/10.1007/978-3-319-42282-4

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Foundations.

Introduction to Concurrency Theory Transition Systems and CCS

Yazar

Gorrieri, Roberto. author.

http://dx.doi.org/10.1007/978-3-319-21491-7

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Foundations.

Petri Net Synthesis

Yazar

Badouel, Eric. author.

http://dx.doi.org/10.1007/978-3-662-47967-4

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Foundations.

Regulated Grammars and Automata

Yazar

Meduna, Alexander. author.

http://dx.doi.org/10.1007/978-1-4939-0369-6

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages.

Combinatorics on Words 10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015, Proceedings

Yazar

Manea, Florin. editor.

http://dx.doi.org/10.1007/978-3-319-23660-5

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages.

Theory and Applications of Models of Computation 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014. Proceedings

Yazar

Gopal, T. V. editor.

http://dx.doi.org/10.1007/978-3-319-06089-7

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages.

Programming Languages and Operational Semantics A Concise Overview

Yazar

Fernández, Maribel. author.

http://dx.doi.org/10.1007/978-1-4471-6368-8

Format:

Electronic Resources

Alıntı:

Logics and Meanings of Programs.

10.

Artificial Intelligence 5th RAAI Summer School, Dolgoprudny, Russia, July 4–7, 2019, Tutorial Lectures

Yazar

Osipov, Gennady S. editor. (orcid)0000-0002-5329-6234

https://doi.org/10.1007/978-3-030-33274-7

Format:

Electronic Resources

Alıntı:

, Dissimilarity and Correlation Functions,- Mathematical Foundation of Cognitive Computing Based Artificial

11.

Higher-Order Computability

Yazar

Longley, John. author.

http://dx.doi.org/10.1007/978-3-662-47992-6

Format:

Electronic Resources

Alıntı:

Computer science -- Mathematics.

12.

Language, Culture, Computation. Computational Linguistics and Linguistics Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part III

Yazar

Dershowitz, Nachum. editor.

http://dx.doi.org/10.1007/978-3-642-45327-4

Format:

Electronic Resources

Alıntı:

questions regarding the relation between mathematical logic and automata theory. From formal languages

	{displayName}	{count}
{error}