Arama Sonuçları Mathematical Logic and Formal Languages.

Logging in...

Username:

Password:

Forgot your PIN?

|

|

|

|

Remember to clear the cache and close the browser window.

Rooms Restriction Values

Search Field

Target ValueLimit ValueRestriction Value

Search For:To enable accessibility mode, return to the beginning of the page and use the link in the menu bar.

Gelişmiş Arama

306 Sonuç Bulundu

Subscribe to search results

Tümünü Seç

1 2 3 4 5 .. 26

Önizleme Görünümü

000000000000DEFAULTTR

Yazdır

Select a list

Make this your default list.

The following items were successfully added.

There was an error while adding the following items. Please try again.

One or more items could not be added because you are not logged in.

1.

Cover image for Formal Languages and Compilation

Formal Languages and Compilation

by

Crespi Reghizzi, Stefano. author.

http://dx.doi.org/10.1007/978-1-4471-5514-0

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages.

2.

Cover image for From Requirements to Java in a Snap Model-Driven Requirements Engineering in Practice

From Requirements to Java in a Snap Model-Driven Requirements Engineering in Practice

by

Śmiałek, Michał. author.

http://dx.doi.org/10.1007/978-3-319-12838-2

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages.

View Other Search Results

3.

Cover image for On Fuzziness A Homage to Lotfi A. Zadeh – Volume 1

On Fuzziness A Homage to Lotfi A. Zadeh – Volume 1

by

Seising, Rudolf. editor.

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

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages.

4.

Cover image for Refinement in Z and Object-Z Foundations and Advanced Applications

Refinement in Z and Object-Z Foundations and Advanced Applications

Refinement in Z and Object-Z Foundations and Advanced Applications

by

Derrick, John. author.

http://dx.doi.org/10.1007/978-1-4471-5355-9

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages.

5.

Cover image for Epistemology, Context, and Formalism

Epistemology, Context, and Formalism

Epistemology, Context, and Formalism

by

Lihoreau, Franck. editor.

http://dx.doi.org/10.1007/978-3-319-02943-6

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages.

6.

Cover image for Leo Esakia on Duality in Modal and Intuitionistic Logics

Leo Esakia on Duality in Modal and Intuitionistic Logics

Leo Esakia on Duality in Modal and Intuitionistic Logics

by

Bezhanishvili, Guram. editor.

http://dx.doi.org/10.1007/978-94-017-8860-1

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages.

7.

Cover image for Gentzen's Centenary The Quest for Consistency

Gentzen's Centenary The Quest for Consistency

Gentzen's Centenary The Quest for Consistency

by

Kahle, Reinhard. editor.

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

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages.

8.

Cover image for Mathematical Logic Foundations for Information Science

Mathematical Logic Foundations for Information Science

Mathematical Logic Foundations for Information Science

by

Li, Wei. author.

http://dx.doi.org/10.1007/978-3-0348-0862-0

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages.

9.

Cover image for Logica Volume 1 Dimostrazioni e modelli al primo ordine

Logica Volume 1 Dimostrazioni e modelli al primo ordine

by

Abrusci, Vito Michele. author.

http://dx.doi.org/10.1007/978-88-470-5538-4

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages.

10.

Cover image for Rethinking Logic: Logic in Relation to Mathematics, Evolution, and Method

Rethinking Logic: Logic in Relation to Mathematics, Evolution, and Method

by

Cellucci, Carlo. author.

http://dx.doi.org/10.1007/978-94-007-6091-2

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages.

11.

Cover image for Freedom and Enforcement in Action A Study in Formal Action Theory

Freedom and Enforcement in Action A Study in Formal Action Theory

by

Czelakowski, Janusz. author.

http://dx.doi.org/10.1007/978-94-017-9855-6

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages.

12.

Cover image for Logical Thinking in the Pyramidal Schema of Concepts: The Logical and Mathematical Elements

Logical Thinking in the Pyramidal Schema of Concepts: The Logical and Mathematical Elements

by

Geldsetzer, Lutz. author.

http://dx.doi.org/10.1007/978-94-007-5301-3

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages.

Tümünü Seç

1 2 3 4 5 .. 26

306 Sonuç Bulundu

Subscribe to search results

Arama Sonuçlarını Filtrele

Yazar

SpringerLink (Online service)

(306)

Rudolph, Sebastian. editor.

(5)

Skowron, Andrzej. editor.

(5)

Peters, James F. editor.

(4)

Potapov, Igor. editor.

(4)

Bekki, Daisuke. editor.

(3)

Bouchon-Meunier, Bernadette. editor.

(3)

Dediu, Adrian-Horia. editor.

(3)

Kroening, Daniel. editor.

(3)

Laurent, Anne. editor.

(3)

Legay, Axel. editor.

(3)

Liu, Shaoying. editor.

(3)

Martí-Oliet, Narciso. editor.

(3)

Martín-Vide, Carlos. editor.

(3)

Păsăreanu, Corina S. editor.

(3)

Truthe, Bianca. editor.

(3)

Voronkov, Andrei. editor.

(3)

Woltran, Stefan. editor.

(3)

Yager, Ronald R. editor.

(3)

Agrawal, Manindra. editor.

(2)

Ait Ameur, Yamine. editor.

(2)

Albert, Elvira. editor.

(2)

Bensalem, Saddek. editor.

(2)

Bezhanishvili, Guram. editor.

(2)

Biere, Armin. editor.

(2)

Blazy, Sandrine. editor.

(2)

Bobillo, Fernando. editor.

(2)

Bonacina, Maria Paola. editor.

(2)

Bonsangue, Marcello M. editor.

(2)

Bulling, Nils. editor.

(2)

Carette, Jacques. editor.

(2)

Coecke, Bob. editor.

(2)

Cornelis, Chris. editor.

(2)

Croitoru, Madalina. editor.

(2)

Csuhaj-Varjú, Erzsébet. editor.

(2)

Dietzfelbinger, Martin. editor.

(2)

Duan, Zhenhua. editor.

(2)

Fanizzi, Nicola. editor.

(2)

Giannakopoulou, Dimitra. editor.

(2)

Goertzel, Ben. editor.

(2)

Grossi, Davide. editor.

(2)

Havelund, Klaus. editor.

(2)

Hinze, Ralf. editor.

(2)

Horrocks, Ian. editor.

(2)

Jain, Sanjay. editor.

(2)

Johnsen, Einar Broch. editor.

(2)

Kahl, Wolfram. editor.

(2)

Karhumäki, Juhani. editor.

(2)

Kohlenbach, Ulrich. editor.

(2)

Kryszkiewicz, Marzena. editor.

(2)

Lanese, Ivan. editor.

(2)

Laskey, Kathryn B. editor.

(2)

Laskey, Kenneth J. editor.

(2)

Leite, João. editor.

(2)

Liu, Zhiming. editor.

(2)

Lukasiewicz, Thomas. editor.

(2)

Lutz, Carsten. editor.

(2)

Margaria, Tiziana. editor.

(2)

Morrill, Glyn. editor.

(2)

Nguyen, Hung Son. editor.

(2)

Nickles, Matthias. editor.

(2)

Okhotin, Alexander. editor.

(2)

O’Regan, Gerard. author.

(2)

Palamidessi, Catuscia. editor.

(2)

Peña, Ricardo. editor.

(2)

Pool, Michael. editor.

(2)

Queiroz, Ruy de. editor.

(2)

Richter, Frank. editor.

(2)

Riguzzi, Fabrizio. editor.

(2)

Sacarea, Christian. editor.

(2)

Salaün, Gwen. editor.

(2)

Schewe, Klaus-Dieter. editor.

(2)

Shur, Arseny M. editor.

(2)

Sojka, Petr. editor.

(2)

Son, Tran Cao. editor.

(2)

Steffen, Bernhard. editor.

(2)

Stephan, Frank. editor.

(2)

Strauss, Olivier. editor.

(2)

Subrahmanian, V.S. author.

(2)

Vardanega, Tullio. editor.

(2)

Weidenbach, Christoph. editor.

(2)

de Paiva, Valeria. editor.

(2)

Ábrahám, Erika. editor.

(2)

Ésik, Zoltán. editor.

(2)

Ślȩzak, Dominik. editor.

(2)

Abadi, Martín. editor.

(1)

Abdulla, Parosh Aziz. editor.

(1)

Aberdein, Andrew. editor.

(1)

Abrusci, Vito Michele. author.

(1)

Achten, Peter. editor.

(1)

Aher, Martin. editor.

(1)

Alonso, Enrique. editor.

(1)

Amgoud, Leila. author.

(1)

Andréka, Hajnal. editor.

(1)

Aranda-Corral, Gonzalo A. editor.

(1)

Artemov, Sergei. editor.

(1)

Arvind, Vikraman. editor.

(1)

Asher, Nicholas. editor.

(1)

Aspinall, David. editor.

(1)

Bagdasar, Ovidiu. author.

(1)

Baier, Christel. editor.

(1)

Baixeries, Jaume. editor.

(1)

Baldan, Paolo. editor.

(1)

Baldoni, Matteo. editor.

(1)

Banerjee, Mohua. editor.

(1)

Bansal, Nikhil. editor.

(1)

Baptista, Jorge. editor.

(1)

Barais, Olivier. editor.

(1)

Barceló, Pablo. editor.

(1)

Barkatou, Moulay. editor.

(1)

Baroglio, Cristina. editor.

(1)

Bartocci, Ezio. editor.

(1)

Bazan, Jan G. editor.

(1)

Beckmann, Arnold. editor.

(1)

Beierle, Christoph. editor.

(1)

Beklemishev, Lev D. editor.

(1)

Bello, Rafael. editor.

(1)

Berdine, Josh. editor.

(1)

Bernardo, Marco. editor.

(1)

Bertacco, Valeria. editor.

(1)

Berto, Francesco. editor.

(1)

Beyer, Dirk. editor.

(1)

Bieger, Jordi. editor.

(1)

Binder, Walter. editor.

(1)

Bjørner, Nikolaj. editor.

(1)

Blackburn, Patrick. editor.

(1)

Blackwell, Clive. editor.

(1)

Blanchette, Jasmin Christian. editor.

(1)

Bloem, Roderick. editor.

(1)

Bodden, Eric. editor.

(1)

Boella, Guido. editor.

(1)

Boer, Frank S. de. editor.

(1)

Boiten, Eerke A. author.

(1)

Bojańczyk, Mikołaj. editor.

(1)

Bonakdarpour, Borzoo. editor.

(1)

Boniol, Frédéric. editor.

(1)

Boreale, Michele. editor.

(1)

Botana, Francisco. editor.

(1)

Braga, Christiano. editor.

(1)

Bravetti, Mario. editor.

(1)

Breugel, Franck van. editor.

(1)

Breveglieri, Luca. author.

(1)

Brézillon, Patrick. editor.

(1)

Bulatov, Andrei A. editor.

(1)

Bursa, Miroslav. editor.

(1)

Butler, Alastair. author.

(1)

Butler, Alastair. editor.

(1)

Butler, Michael. editor.

(1)

Béal, Marie-Pierre. editor.

(1)

Cabalar, Pedro. editor.

(1)

Calimeri, Francesco. editor.

(1)

Calinescu, Radu. editor.

(1)

Calmet, Jacques. editor.

(1)

Calosi, Claudio. editor.

(1)

Calude, Cristian S. editor.

(1)

Canal, Carlos. editor.

(1)

Candeias, Sara. editor.

(1)

Cariani, Fabrizio. editor.

(1)

Carton, Olivier. editor.

(1)

Carvalho, Rommel N. editor.

(1)

Casadio, Claudia. editor.

(1)

Cassez, Franck. editor.

(1)

Castagna, Giuseppe. editor.

(1)

Cellier, Peggy. editor.

(1)

Cellucci, Carlo. author.

(1)

Chakraborty, Mihir K. editor.

(1)

Chan, T-H. Hubert. editor.

(1)

Chatterjee, Krishnendu. editor.

(1)

Ciucci, Davide. editor.

(1)

Clerbout, Nicolas. author.

(1)

Cluzeau, Thomas. editor.

(1)

Codescu, Mihai. editor.

(1)

Codish, Michael. editor.

(1)

Cohen, Ernie. editor.

(1)

Colinet, Margot. editor.

(1)

Combemale, Benoît. editor.

(1)

Conchon, Sylvain. editor.

(1)

Cooper, S. Barry. editor.

(1)

Costa, Paulo C. G. editor.

(1)

Costa, Paulo C.G. editor.

(1)

Crespi Reghizzi, Stefano. author.

(1)

Czarnecki, Krzysztof. editor.

(1)

Czelakowski, Janusz. author.

(1)

Dapoigny, Richard. editor.

(1)

Davenport, James H. editor.

(1)

Davis, Brian. editor.

(1)

Davis, Jesse. editor.

(1)

Davis, Martin. editor.

(1)

De Nivelle, Hans. editor.

(1)

Demri, Stéphane. editor.

(1)

Deng, Yuxin. author.

(1)

Dennunzio, Alberto. editor.

(1)

Denoeux, Thierry. editor.

(1)

Derrick, John. author.

(1)

Dershowitz, Nachum. editor.

(1)

Desmedt, Yvo. editor.

(1)

Destercke, Sébastien. editor.

(1)

Diaconescu, Răzvan. editor.

(1)

Diaz, Josep. editor.

(1)

Dickerson, John P. author.

(1)

Tümünü Göster

Materyal Türü

(306)

Dil

(304)

(2)

Yayın Yılı

This graph shows the distribution of publication dates for use with a date range slider. Switch to Years view for a more detailed breakdown of search results by year.

From Publication Year - To Publication Year

(109)

(101)

(96)

Konu

Mathematical Logic and Formal Languages.

(305)

Mathematical logic.

(305)

Computer science.

(279)

Computer logic.

(170)

Logics and Meanings of Programs.

(170)

Software engineering.

(136)

Artificial Intelligence (incl. Robotics).

(135)

Artificial intelligence.

(135)

Programming Languages, Compilers, Interpreters.

(91)

Programming languages (Electronic computers).

(91)

Computer science -- Mathematics.

(79)

(77)

Algorithm Analysis and Problem Complexity.

(68)

(68)

Computation by Abstract Devices.

(66)

Discrete Mathematics in Computer Science.

(55)

Computer programming.

(53)

Programming Techniques.

(53)

Information storage and retrieval.

(39)

Information Systems Applications (incl. Internet).

(36)

Mathematical Logic and Foundations.

(31)

Data Mining and Knowledge Discovery.

(26)

(26)

Computer Communication Networks.

(24)

Computer communication systems.

(24)

Symbolic and Algebraic Manipulation.

(23)

Computer simulation.

(15)

Database management.

(15)

Numeric Computing.

(15)

Numerical analysis.

(15)

Simulation and Modeling.

(15)

Data structures (Computer science).

(14)

(14)

Mathematics of Computing.

(14)

(14)

Math Applications in Computer Science.

(13)

Pattern recognition.

(13)

(12)

Data Structures.

(11)

Management information systems.

(10)

Management of Computing and Information Systems.

(10)

Mathematical statistics.

(10)

Probability and Statistics in Computer Science.

(10)

Theory of Computation.

(10)

Computer Science, general.

(9)

Application software.

(8)

Bioinformatics.

(8)

Computational Biology/Bioinformatics.

(8)

Computational linguistics.

(7)

Language Translation and Linguistics.

(7)

Software Engineering/Programming and Operating Systems.

(7)

Computer graphics.

(6)

Computer security.

(6)

Systems and Data Security.

(6)

User Interfaces and Human Computer Interaction.

(6)

User interfaces (Computer systems).

(6)

(5)

Computer Systems Organization and Communication Networks.

(5)

Computer organization.

(5)

(4)

Computer Appl. in Administrative Data Processing.

(4)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(4)

Document Preparation and Text Processing.

(4)

Health informatics.

(4)

History of Mathematical Sciences.

(4)

(4)

(4)

Special Purpose and Application-Based Systems.

(4)

Special purpose computers.

(4)

Text processing (Computer science).

(4)

Applications of Mathematics.

(3)

Applied mathematics.

(3)

Computer Appl. in Social and Behavioral Sciences.

(3)

Computer mathematics.

(3)

Data Structures, Cryptology and Information Theory.

(3)

Engineering mathematics.

(3)

(3)

(3)

Theoretical Linguistics.

(3)

Business -- Data processing.

(2)

Coding and Information Theory.

(2)

(2)

Computer system failures.

(2)

Computing Methodologies.

(2)

Discrete mathematics.

(2)

(2)

History of Philosophy.

(2)

History of Science.

(2)

IT in Business.

(2)

Image Processing and Computer Vision.

(2)

Image processing.

(2)

Information technology.

(2)

Language and languages -- Philosophy.

(2)

Mathematical Applications in Computer Science.

(2)

Order, Lattices, Ordered Algebraic Structures.

(2)

Ordered algebraic structures.

(2)

Philosophy of Language.

(2)

System Performance and Evaluation.

(2)

e-Commerce/e-business.

(2)

Arithmetic and Logic Structures.

(1)

Arithmetic and logic units, Computer.

(1)

Biomathematics.

(1)

Business and Management.

(1)

(1)

Category Theory, Homological Algebra.

(1)

Category theory (Mathematics).

(1)

Chinese language.

(1)

(1)

Complex Systems.

(1)

Computational Science and Engineering.

(1)

Computational intelligence.

(1)

Computer Appl. in Arts and Humanities.

(1)

Computer Applications.

(1)

Computers and Society.

(1)

Computers and civilization.

(1)

Data Encryption.

(1)

Data encryption (Computer science).

(1)

(1)

Game Theory, Economics, Social and Behav. Sciences.

(1)

(1)

(1)

History of Computing.

(1)

Homological algebra.

(1)

Industrial and Production Engineering.

(1)

Industrial engineering.

(1)

Information Systems and Communication Service.

(1)

Information and Communication, Circuits.

(1)

Information theory.

(1)

Linear and Multilinear Algebras, Matrix Theory.

(1)

(1)

Mathematical and Computational Biology.

(1)

Mathematical optimization.

(1)

Mathematical physics.

(1)

Mathematics in the Humanities and Social Sciences.

(1)

(1)

Models and Principles.

(1)

Modern philosophy.

(1)

(1)

Operating Systems.

(1)

Operating systems (Computers).

(1)

(1)

Partial differential equations.

(1)

(1)

Popular Science in Mathematics.

(1)

Popular Science.

(1)

(1)

(1)

Probability Theory and Stochastic Processes.

(1)

Production engineering.

(1)

Psycholinguistics.

(1)

Quantum Computing.

(1)

Quantum computers.

(1)

Quantum physics.

(1)

(1)

Signal, Image and Speech Processing.

(1)

Social sciences.

(1)

(1)

Tümünü Göster

Kütüphane

Pamukkale Merkez Kütüphanesi

(306)

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Copyright 2023 Sirsi Corporation - Enterprise Version 5.2.1.2