Arama Sonuçları Mathematical logic. - Daraltılmış: Computer science.

A Course on Mathematical Logic

2024-11-13T08:40:39Z

Yazar Srivastava, Shashi Mohan. author. SpringerLink (Online service)
Yer Numarası ONLINE(331853.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-5746-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematical Logic for Computer Science

2024-11-13T08:40:39Z

Yazar Ben-Ari, Mordechai. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-4129-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

A Concise Introduction to Mathematical Logic

2024-11-13T08:40:39Z

Yazar Rautenberg, Wolfgang. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-1221-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematical Logic Foundations for Information Science

2024-11-13T08:40:39Z

Yazar Li, Wei. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-7643-9977-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

A Concise Introduction to Mathematical Logic

2024-11-13T08:40:39Z

Yazar Rautenberg, Wolfgang. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/0-387-34241-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematical Logic and Model Theory A Brief Introduction

2024-11-13T08:40:39Z

Yazar Prestel, Alexander. author. Delzell, Charles N. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-2176-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Towards Mathematical Philosophy Papers from the Studia Logica conference Trends in Logic IV

2024-11-13T08:40:39Z

Yazar Makinson, David. editor. Malinowski, Jacek. editor. Wansing, Heinrich. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-9084-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematical Problems from Applied Logic I Logics for the XXIst Century

2024-11-13T08:40:39Z

Yazar Gabbay, Dov M. editor. Goncharov, Sergei S. editor. Zakharyaschev, Michael. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/0-387-31072-X
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering and Methodology for Emerging Domains 16th National Conference, NASAC 2017, Harbin, China, November 4–5, 2017, and 17th National Conference, NASAC 2018, Shenzhen, China, November 23–25, 2018, Revised Selected Papers

2024-11-13T08:40:39Z

Yazar Li, Zheng. editor. (orcid)0000-0002-3938-7033 Jiang, He. editor. (orcid)0000-0001-8674-4948 Li, Ge. editor. Zhou, Minghui. editor. Li, Ming. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-15-0310-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logical Foundations of Cyber-Physical Systems

2024-11-13T08:40:39Z

Yazar Platzer, André. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-63588-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods for Nonmonotonic and Related Logics Vol II: Theory Revision, Inheritance, and Various Abstract Properties

2024-11-13T08:40:39Z

Yazar Schlechta, Karl. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-89650-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods for Nonmonotonic and Related Logics Vol I: Preference and Size

2024-11-13T08:40:39Z

Yazar Schlechta, Karl. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-89653-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Handbook of Model Checking

2024-11-13T08:40:39Z

Yazar Clarke, Edmund M. editor. Henzinger, Thomas A. editor. Veith, Helmut. editor. Bloem, Roderick. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-10575-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

An Introduction to the Technique of Formative Processes in Set Theory

2024-11-13T08:40:39Z

Yazar Cantone, Domenico. author. Ursino, Pietro. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-74778-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Language Engineering 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings

2024-11-13T08:40:39Z

Yazar Combemale, Benoit. editor. Pearce, David. editor. Barais, Olivier. editor. Vinju, Jurgen. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-11245-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Aspects of Component Software 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers

2024-11-13T08:40:39Z

Yazar Fiadeiro, José Luiz. editor. Liu, Zhiming. editor. Xue, Jinyun. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-07602-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Introduction to Software Quality

2024-11-13T08:40:39Z

Yazar O’Regan, Gerard. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-06106-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logical Aspects of Computational Linguistics 8th International Conference, LACL 2014, Toulouse, France, June 18-24, 2014. Proceedings

2024-11-13T08:40:39Z

Yazar Asher, Nicholas. editor. Soloviev, Sergei. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-43742-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

FM 2014: Formal Methods 19th International Symposium, Singapore, May 12-16, 2014. Proceedings

2024-11-13T08:40:39Z

Yazar Jones, Cliff. editor. Pihlajasaari, Pekka. editor. Sun, Jun. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-06410-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

A General Framework for Reasoning On Inconsistency

2024-11-13T08:40:39Z

Yazar Martinez, Maria Vanina. author. Molinaro, Cristian. author. Subrahmanian, V.S. author. Amgoud, Leila. author. SpringerLink (Online service)
Yer Numarası ONLINE(332107.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-6750-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Modelling Computing Systems Mathematics for Computer Science

2024-11-13T08:40:39Z

Yazar Moller, Faron. author. Struth, Georg. author. SpringerLink (Online service)
Yer Numarası ONLINE(332574.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-84800-322-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Concise Computer Mathematics Tutorials on Theory and Problems

2024-11-13T08:40:39Z

Yazar Bagdasar, Ovidiu. author. SpringerLink (Online service)
Yer Numarası ONLINE(332887.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-01751-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fuzzy Logic and Applications 10th International Workshop, WILF 2013, Genoa, Italy, November 19-22, 2013. Proceedings

2024-11-13T08:40:39Z

Yazar Masulli, Francesco. editor. Pasi, Gabriella. editor. Yager, Ronald. editor. SpringerLink (Online service)
Yer Numarası ONLINE(332970.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-03200-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

AI*IA 2013: Advances in Artificial Intelligence XIIIth International Conference of the Italian Association for Artificial Intelligence, Turin, Italy, December 4-6, 2013. Proceedings

2024-11-13T08:40:39Z

Yazar Baldoni, Matteo. editor. Baroglio, Cristina. editor. Boella, Guido. editor. Micalizio, Roberto. editor. SpringerLink (Online service)
Yer Numarası ONLINE(332979.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-03524-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Languages and Systems 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings

2024-11-13T08:40:39Z

Yazar Shan, Chung-chieh. editor. SpringerLink (Online service)
Yer Numarası ONLINE(332981.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-03542-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Certified Programs and Proofs Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings

2024-11-13T08:40:39Z

Yazar Gonthier, Georges. editor. Norrish, Michael. editor. SpringerLink (Online service)
Yer Numarası ONLINE(332982.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-03545-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Ernst Zermelo - Collected Works/Gesammelte Werke II Volume II/Band II - Calculus of Variations, Applied Mathematics, and Physics/Variationsrechnung, Angewandte Mathematik und Physik

2024-11-13T08:40:39Z

Yazar Zermelo, Ernst. author. Ebbinghaus, Heinz-Dieter. editor. Kanamori, Akihiro. editor. SpringerLink (Online service)
Yer Numarası ONLINE(333036.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-70856-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

2024-11-13T08:40:39Z

Yazar Pfenning, Frank. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334358.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-37075-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Language and Automata Theory and Applications 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings

2024-11-13T08:40:39Z

Yazar Dediu, Adrian-Horia. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334355.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-37064-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Recent Trends in Algebraic Development Techniques 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers

2024-11-13T08:40:39Z

Yazar Martí-Oliet, Narciso. editor. Palomino, Miguel. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334465.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-37635-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Logics Essays in Memory of Harald Ganzinger

2024-11-13T08:40:39Z

Yazar Voronkov, Andrei. editor. Weidenbach, Christoph. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334468.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-37651-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theory and Applications of Models of Computation 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings

2024-11-13T08:40:39Z

Yazar Chan, T-H. Hubert. editor. Lau, Lap Chi. editor. Trevisan, Luca. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334564.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38236-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Implementation and Application of Automata 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings

2024-11-13T08:40:39Z

Yazar Konstantinidis, Stavros. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334771.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39274-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Structured Object-Oriented Formal Language and Method Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers

2024-11-13T08:40:39Z

Yazar Liu, Shaoying. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334772.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39277-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Erdős Centennial

2024-11-13T08:40:39Z

Yazar Lovász, László. editor. Ruzsa, Imre Z. editor. Sós, Vera T. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334774.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39286-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Descriptional Complexity of Formal Systems 15th International Workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013. Proceedings

2024-11-13T08:40:39Z

Yazar Jurgensen, Helmut. editor. Reis, Rogério. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334778.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39310-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Computer Mathematics MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings

2024-11-13T08:40:39Z

Yazar Carette, Jacques. editor. Aspinall, David. editor. Lange, Christoph. editor. Sojka, Petr. editor. Windsteiger, Wolfgang. editor.
Yer Numarası ONLINE(334781.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39320-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Principles and Practice of Constraint Programming 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings

2024-11-13T08:40:39Z

Yazar Schulte, Christian. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334980.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40627-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automated Deduction in Geometry 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers

2024-11-13T08:40:39Z

Yazar Ida, Tetsuo. editor. Fleuriot, Jacques. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334987.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40672-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Implementation and Application of Functional Languages 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers

2024-11-13T08:40:39Z

Yazar Hinze, Ralf. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335126.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41582-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reasoning Web. Semantic Technologies for Intelligent Data Access 9th International Summer School 2013, Mannheim, Germany, July 30 – August 2, 2013. Proceedings

2024-11-13T08:40:39Z

Yazar Rudolph, Sebastian. editor. Gottlob, Georg. editor. Horrocks, Ian. editor. Harmelen, Frank. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334848.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39784-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings

2024-11-13T08:40:39Z

Yazar McMillan, Ken. editor. Middeldorp, Aart. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335196.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-45221-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Teoria degli Automi Finiti

2024-11-13T08:40:39Z

Yazar Luca, Aldo. author. D’Alessandro, Flavio. author. SpringerLink (Online service)
Yer Numarası ONLINE(335644.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-88-470-5474-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2024-11-13T08:40:39Z

Yazar Geldsetzer, Lutz. author. Schwartz, Richard L. author. SpringerLink (Online service)
Yer Numarası ONLINE(335941.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-94-007-5301-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2024-11-13T08:40:39Z

Yazar Cellucci, Carlo. author. SpringerLink (Online service)
Yer Numarası ONLINE(336157.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-94-007-6091-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Grenzen der Mathematik Eine Reise durch die Kerngebiete der mathematischen Logik

2024-11-13T08:40:39Z

Yazar Hoffmann, Dirk W. author. SpringerLink (Online service)
Yer Numarası ONLINE(337115.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-34720-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Belief Revision in Non-Classical Logics

2024-11-13T08:40:39Z

Yazar Ribeiro, Márcio Moretto. author. SpringerLink (Online service)
Yer Numarası ONLINE(330925.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-4186-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

From Linear Operators to Computational Biology Essays in Memory of Jacob T. Schwartz

2024-11-13T08:40:39Z

Yazar Davis, Martin. editor. Schonberg, Edmond. editor. SpringerLink (Online service)
Yer Numarası ONLINE(330942.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-4282-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematics in Computing An Accessible Guide to Historical, Foundational and Application Contexts

2024-11-13T08:40:39Z

Yazar O’Regan, Gerard. author. SpringerLink (Online service)
Yer Numarası ONLINE(331002.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-4534-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Using Event-B for Critical Device Software Systems

2024-11-13T08:40:39Z

Yazar Singh, Neeraj Kumar. author. SpringerLink (Online service)
Yer Numarası ONLINE(331181.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-5260-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Languages and Compilation

2024-11-13T08:40:39Z

Yazar Crespi Reghizzi, Stefano. author. Breveglieri, Luca. author. Morzenti, Angelo. author. SpringerLink (Online service)
Yer Numarası ONLINE(331210.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-5514-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Analysis of Terrorist Groups: Lashkar-e-Taiba Lashkar-e-Taiba

2024-11-13T08:40:39Z

Yazar Subrahmanian, V.S. author. Mannes, Aaron. author. Sliva, Amy. author. Shakarian, Jana. author. Dickerson, John P. author.
Yer Numarası ONLINE(331582.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-4769-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings

2024-11-13T08:40:39Z

Yazar Bertacco, Valeria. editor. Legay, Axel. editor. SpringerLink (Online service)
Yer Numarası ONLINE(332962.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-03077-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Language Engineering 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings

2024-11-13T08:40:39Z

Yazar Erwig, Martin. editor. Paige, Richard F. editor. Wyk, Eric. editor. SpringerLink (Online service)
Yer Numarası ONLINE(332934.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-02654-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

New Frontiers in Artificial Intelligence JSAI-isAI 2012 Workshops, LENLS, JURISIN, MiMI, Miyazaki, Japan, November 30 and December 1, 2012, Revised Selected Papers

2024-11-13T08:40:39Z

Yazar Motomura, Yoichi. editor. Butler, Alastair. editor. Bekki, Daisuke. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334868.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39931-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic, Language, Information, and Computation 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings

2024-11-13T08:40:39Z

Yazar Libkin, Leonid. editor. Kohlenbach, Ulrich. editor. Queiroz, Ruy. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334875.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39992-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Grammar 17th and 18th International Conferences, FG 2012, Opole, Poland, August 2012, Revised Selected Papers, FG 2013, Düsseldorf, Germany, August 2013. Proceedings

2024-11-13T08:40:39Z

Yazar Morrill, Glyn. editor. Nederhof, Mark-Jan. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334877.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39998-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematical Foundations of Computer Science 2013 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings

2024-11-13T08:40:39Z

Yazar Chatterjee, Krishnendu. editor. Sgall, Jirí. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334925.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40313-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Hardware and Software: Verification and Testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers

2024-11-13T08:40:39Z

Yazar Biere, Armin. editor. Nahir, Amir. editor. Vos, Tanja. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334820.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39611-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Composition 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings

2024-11-13T08:40:39Z

Yazar Binder, Walter. editor. Bodden, Eric. editor. Löwe, Welf. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334821.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39614-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Interactive Theorem Proving 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings

2024-11-13T08:40:39Z

Yazar Blazy, Sandrine. editor. Paulin-Mohring, Christine. editor. Pichardie, David. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334825.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39634-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reactive Kripke Semantics

2024-11-13T08:40:39Z

Yazar Gabbay, Dov M. author. SpringerLink (Online service)
Yer Numarası ONLINE(335100.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41389-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods for Components and Objects 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures

2024-11-13T08:40:39Z

Yazar Giachino, Elena. editor. Hähnle, Reiner. editor. Boer, Frank S. editor. Bonsangue, Marcello M. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334978.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40615-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Logic in Multi-Agent Systems 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings

2024-11-13T08:40:39Z

Yazar Leite, João. editor. Son, Tran Cao. editor. Torroni, Paolo. editor. Torre, Leon. editor. Woltran, Stefan. editor.
Yer Numarası ONLINE(334979.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40624-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Algebraic Informatics 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings

2024-11-13T08:40:39Z

Yazar Muntean, Traian. editor. Poulakis, Dimitrios. editor. Rolland, Robert. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334985.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40663-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings

2024-11-13T08:40:39Z

Yazar Legay, Axel. editor. Bensalem, Saddek. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335003.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40787-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Frontiers of Combining Systems 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings

2024-11-13T08:40:39Z

Yazar Fontaine, Pascal. editor. Ringeissen, Christophe. editor. Schmidt, Renate A. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335023.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40885-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Algorithmic Learning Theory 24th International Conference, ALT 2013, Singapore, October 6-9, 2013. Proceedings

2024-11-13T08:40:39Z

Yazar Jain, Sanjay. editor. Munos, Rémi. editor. Stephan, Frank. editor. Zeugmann, Thomas. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335030.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40935-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

KI 2013: Advances in Artificial Intelligence 36th Annual German Conference on AI, Koblenz, Germany, September 16-20, 2013. Proceedings

2024-11-13T08:40:39Z

Yazar Timm, Ingo J. editor. Thimm, Matthias. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335031.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40942-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings

2024-11-13T08:40:39Z

Yazar Grossi, Davide. editor. Roy, Olivier. editor. Huang, Huaxin. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335032.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40948-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Modeling and Using Context 8th International and Interdisciplinary Conference, CONTEXT 2013, Annecy, France, October 28 -31, 2013, Proceedings

2024-11-13T08:40:39Z

Yazar Brézillon, Patrick. editor. Blackburn, Patrick. editor. Dapoigny, Richard. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335034.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40972-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods for Industrial Critical Systems 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings

2024-11-13T08:40:39Z

Yazar Pecheur, Charles. editor. Dierkes, Michael. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335040.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41010-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reachability Problems 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings

2024-11-13T08:40:39Z

Yazar Abdulla, Parosh Aziz. editor. Potapov, Igor. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335046.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41036-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Combinatorial Algorithms 24th International Workshop, IWOCA 2013, Rouen, France, July 10-12, 2013, Revised Selected Papers

2024-11-13T08:40:39Z

Yazar Lecroq, Thierry. editor. Mouchard, Laurent. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335202.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-45278-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Paraconsistency: Logic and Applications

2024-11-13T08:40:39Z

Yazar Tanaka, Koji. editor. Berto, Francesco. editor. Mares, Edwin. editor. Paoli, Francesco. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335759.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-94-007-4438-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings

2024-11-13T08:40:39Z

Yazar Galmiche, Didier. editor. Larchey-Wendling, Dominique. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334962.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40537-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering and Formal Methods 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings

2024-11-13T08:40:39Z

Yazar Hierons, Robert M. editor. Merayo, Mercedes G. editor. Bravetti, Mario. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334968.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40561-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings

2024-11-13T08:40:39Z

Yazar Cabalar, Pedro. editor. Son, Tran Cao. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334969.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40564-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Combinatorics on Words 9th International Conference, WORDS 2013, Turku, Finland, September 16-20. Proceedings

2024-11-13T08:40:39Z

Yazar Karhumäki, Juhani. editor. Lepistö, Arto. editor. Zamboni, Luca. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334973.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40579-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods and Software Engineering 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings

2024-11-13T08:40:39Z

Yazar Groves, Lindsay. editor. Sun, Jing. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335072.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41202-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Constraint Solving and Language Processing 7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised Selected Papers

2024-11-13T08:40:39Z

Yazar Duchier, Denys. editor. Parmentier, Yannick. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335125.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41578-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Argument of Mathematics

2024-11-13T08:40:39Z

Yazar Aberdein, Andrew. editor. Dove, Ian J. editor. SpringerLink (Online service)
Yer Numarası ONLINE(336263.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-94-007-6534-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logics in Computer Science A Study on Extensions of Temporal and Strategic Logics

2024-11-13T08:40:39Z

Yazar Mogavero, Fabio. author. SpringerLink (Online service)
Yer Numarası ONLINE(336496.1)
Elektronik Erişim http://dx.doi.org/10.2991/978-94-91216-95-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Industrial Deployment of System Engineering Methods

2024-11-13T08:40:39Z

Yazar Romanovsky, Alexander. editor. Thomas, Martyn. editor. SpringerLink (Online service)
Yer Numarası ONLINE(333675.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-33170-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cylindric-like Algebras and Algebraic Logic

2024-11-13T08:40:39Z

Yazar Andréka, Hajnal. editor. Ferenczi, Miklós. editor. Németi, István. editor. SpringerLink (Online service)
Yer Numarası ONLINE(333922.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35025-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematics of Fuzzy Sets and Fuzzy Logic

2024-11-13T08:40:39Z

Yazar Bede, Barnabas. author. SpringerLink (Online service)
Yer Numarası ONLINE(333950.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35221-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Runtime Verification Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers

2024-11-13T08:40:39Z

Yazar Qadeer, Shaz. editor. Tasiran, Serdar. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334014.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35632-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2024-11-13T08:40:39Z

Yazar Seising, Rudolf. editor. Trillas, Enric. editor. Moraga, Claudio. editor. Termini, Settimo. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334017.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35641-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Unifying Theories of Programming 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers

2024-11-13T08:40:39Z

Yazar Wolff, Burkhart. editor. Gaudel, Marie-Claude. editor. Feliachi, Abderrahmane. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334034.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35705-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings

2024-11-13T08:40:39Z

Yazar Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334038.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35722-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

ICT in Education, Research, and Industrial Applications 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers

2024-11-13T08:40:39Z

Yazar Ermolayev, Vadim. editor. Mayr, Heinrich C. editor. Nikitchenko, Mykola. editor. Spivakovsky, Aleksander. editor. Zholtkevych, Grygoriy. editor.
Yer Numarası ONLINE(334041.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35737-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Aspects of Component Software 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers

2024-11-13T08:40:39Z

Yazar Păsăreanu, Corina S. editor. Salaün, Gwen. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334069.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35861-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Verification, Model Checking, and Abstract Interpretation 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings

2024-11-13T08:40:39Z

Yazar Giacobazzi, Roberto. editor. Berdine, Josh. editor. Mastroeni, Isabella. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334073.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35873-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Uncertainty Reasoning for the Semantic Web II International Workshops URSW 2008-2010 Held at ISWC and UniDL 2010 Held at FLoC, Revised Selected Papers

2024-11-13T08:40:39Z

Yazar Bobillo, Fernando. editor. Costa, Paulo C. G. editor. d’Amato, Claudia. editor. Fanizzi, Nicola. editor. Laskey, Kathryn B. editor.
Yer Numarası ONLINE(334092.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35975-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Generative and Transformational Techniques in Software Engineering IV International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers

2024-11-13T08:40:39Z

Yazar Lämmel, Ralf. editor. Saraiva, João. editor. Visser, Joost. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334096.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35992-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic and Its Applications 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings

2024-11-13T08:40:39Z

Yazar Lodaya, Kamal. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334105.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36039-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

System Modeling and Optimization 25th IFIP TC 7 Conference, CSMO 2011, Berlin, Germany, September 12-16, 2011, Revised Selected Papers

2024-11-13T08:40:39Z

Yazar Hömberg, Dietmar. editor. Tröltzsch, Fredi. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334111.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36062-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Language Engineering 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers

2024-11-13T08:40:39Z

Yazar Czarnecki, Krzysztof. editor. Hedin, Görel. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334120.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36089-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transactions on Rough Sets XVI

2024-11-13T08:40:39Z

Yazar Peters, James F. editor. Skowron, Andrzej. editor. Ramanna, Sheela. editor. Suraj, Zbigniew. editor. Wang, Xin. editor.
Yer Numarası ONLINE(334220.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36505-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automated Reasoning and Mathematics Essays in Memory of William W. McCune

2024-11-13T08:40:39Z

Yazar Bonacina, Maria Paola. editor. Stickel, Mark E. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334264.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36675-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic, Language, and Computation 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised Selected Papers

2024-11-13T08:40:39Z

Yazar Bezhanishvili, Guram. editor. Löbner, Sebastian. editor. Marra, Vincenzo. editor. Richter, Frank. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334337.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36976-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Language of Mathematics A Linguistic and Philosophical Investigation

2024-11-13T08:40:39Z

Yazar Ganesalingam, Mohan. author. SpringerLink (Online service)
Yer Numarası ONLINE(334341.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-37012-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday

2024-11-13T08:40:39Z

Yazar Coecke, Bob. editor. Ong, Luke. editor. Panangaden, Prakash. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334547.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38164-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers

2024-11-13T08:40:39Z

Yazar Albert, Elvira. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334552.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38197-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Concept Analysis 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013. Proceedings

2024-11-13T08:40:39Z

Yazar Cellier, Peggy. editor. Distel, Felix. editor. Ganter, Bernhard. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334580.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38317-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Science – Theory and Applications 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013. Proceedings

2024-11-13T08:40:39Z

Yazar Bulatov, Andrei A. editor. Shur, Arseny M. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334617.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38536-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automated Deduction – CADE-24 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings

2024-11-13T08:40:39Z

Yazar Bonacina, Maria Paola. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334626.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38574-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Techniques for Distributed Systems Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings

2024-11-13T08:40:39Z

Yazar Beyer, Dirk. editor. Boreale, Michele. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334630.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38592-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Integrated Formal Methods 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings

2024-11-13T08:40:39Z

Yazar Johnsen, Einar Broch. editor. Petre, Luigia. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334634.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38613-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Ontology Matching

2024-11-13T08:40:39Z

Yazar Euzenat, Jérôme. author. Shvaiko, Pavel. author. SpringerLink (Online service)
Yer Numarası ONLINE(334659.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38721-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Developments in Language Theory 17th International Conference, DLT 2013, Marne-la-Vallée, France, June 18-21, 2013. Proceedings

2024-11-13T08:40:39Z

Yazar Béal, Marie-Pierre. editor. Carton, Olivier. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334666.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38771-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Inductive Logic Programming 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012, Revised Selected Papers

2024-11-13T08:40:39Z

Yazar Riguzzi, Fabrizio. editor. Železný, Filip. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334673.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38812-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Static Analysis 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings

2024-11-13T08:40:39Z

Yazar Logozzo, Francesco. editor. Fähndrich, Manuel. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334683.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38856-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tests and Proofs 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings

2024-11-13T08:40:39Z

Yazar Veanes, Margus. editor. Viganò, Luca. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334698.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38916-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Typed Lambda Calculi and Applications 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings

2024-11-13T08:40:39Z

Yazar Hasegawa, Masahito. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334702.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38946-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

ECOOP 2013 – Object-Oriented Programming 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings

2024-11-13T08:40:39Z

Yazar Castagna, Giuseppe. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334715.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39038-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Nature of Computation. Logic, Algorithms, Applications 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings

2024-11-13T08:40:39Z

Yazar Bonizzoni, Paola. editor. Brattka, Vasco. editor. Löwe, Benedikt. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334718.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39053-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theory and Applications of Satisfiability Testing – SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings

2024-11-13T08:40:39Z

Yazar Järvisalo, Matti. editor. Van Gelder, Allen. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334724.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39071-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Unconventional Computation and Natural Computation 12th International Conference, UCNC 2013, Milan, Italy, July 1-5, 2013. Proceedings

2024-11-13T08:40:39Z

Yazar Mauri, Giancarlo. editor. Dennunzio, Alberto. editor. Manzoni, Luca. editor. Porreca, Antonio E. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334725.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39074-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 12th European Conference, ECSQARU 2013, Utrecht, The Netherlands, July 8-10, 2013. Proceedings

2024-11-13T08:40:39Z

Yazar Gaag, Linda C. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334728.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39091-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Beauty of Functional Code Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday

2024-11-13T08:40:39Z

Yazar Achten, Peter. editor. Koopman, Pieter. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334934.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40355-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial General Intelligence 6th International Conference, AGI 2013, Beijing, China, July 31 – August 3, 2013 Proceedings

2024-11-13T08:40:39Z

Yazar Kühnberger, Kai-Uwe. editor. Rudolph, Sebastian. editor. Wang, Pei. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334814.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39521-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Trends in Functional Programming 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers

2024-11-13T08:40:39Z

Yazar Loidl, Hans-Wolfgang. editor. Peña, Ricardo. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334946.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40447-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Algebraic Specification and Formal Software Development

2024-11-13T08:40:39Z

Yazar Sannella, Donald. author. Tarlecki, Andrzej. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-17336-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Recent Trends in Algebraic Development Techniques 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers

2024-11-13T08:40:39Z

Yazar Mossakowski, Till. editor. Kreowski, Hans-Jörg. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-28412-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Complexity of Valued Constraint Satisfaction Problems

2024-11-13T08:40:39Z

Yazar Živný, Stanislav. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-33974-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematics of Discrete Structures for Computer Science

2024-11-13T08:40:39Z

Yazar Pace, Gordon J. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-29840-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic: A Brief Course

2024-11-13T08:40:39Z

Yazar Mundici, Daniele. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-88-470-2361-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

How the World Computes Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings

2024-11-13T08:40:39Z

Yazar Cooper, S. Barry. editor. Dawar, Anuj. editor. Löwe, Benedikt. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-30870-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Lectures on Logic and Computation ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes

2024-11-13T08:40:39Z

Yazar Bezhanishvili, Nick. editor. Goranko, Valentin. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-31485-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Logic of Categorial Grammars A Deductive Account of Natural Language Syntax and Semantics

2024-11-13T08:40:39Z

Yazar Moot, Richard. author. Retoré, Christian. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-31555-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Truth and Falsehood An Inquiry into Generalized Logical Values

2024-11-13T08:40:39Z

Yazar Shramko, Yaroslav. author. Wansing, Heinrich. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-94-007-0907-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tools for Teaching Logic Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings

2024-11-13T08:40:39Z

Yazar Blackburn, Patrick. editor. Ditmarsch, Hans. editor. Manzano, María. editor. Soler-Toscano, Fernando. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-21350-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Typed Lambda Calculi and Applications 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings

2024-11-13T08:40:39Z

Yazar Ong, Luke. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-21691-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Models of Computation in Context 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011. Proceedings

2024-11-13T08:40:39Z

Yazar Löwe, Benedikt. editor. Normann, Dag. editor. Soskov, Ivan. editor. Soskova, Alexandra. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-21875-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Apartness and Uniformity A Constructive Development

2024-11-13T08:40:39Z

Yazar Bridges, Douglas S. author. Vîţă, Luminiţa Simona. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-22415-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic and Games on Automatic Structures Playing with Quantifiers and Decompositions

2024-11-13T08:40:39Z

Yazar Kaiser, Łukasz. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-22807-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logica: Metodo Breve

2024-11-13T08:40:39Z

Yazar Mundici, Daniele. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-88-470-1884-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematical Lives Protagonists of the Twentieth Century From Hilbert to Wiles

2024-11-13T08:40:39Z

Yazar Bartocci, Claudio. editor. Betti, Renato. editor. Guerraggio, Angelo. editor. Lucchetti, Roberto. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-13606-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic, Rationality, and Interaction Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings

2024-11-13T08:40:39Z

Yazar Ditmarsch, Hans. editor. Lang, Jérôme. editor. Ju, Shier. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-24130-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Grenzen der Mathematik Eine Reise durch die Kerngebiete der mathematischen Logik

2024-11-13T08:40:39Z

Yazar Hoffmann, Dirk W. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-8274-2560-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

From Boolean Logic to Switching Circuits and Automata Towards Modern Information Technology

2024-11-13T08:40:39Z

Yazar Stanković, Radomir S. author. Astola, Jaakko. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-11682-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Conditionals and Modularity in General Logics

2024-11-13T08:40:39Z

Yazar Gabbay, Dov M. author. Schlechta, Karl. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-19068-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Mathematics of Language 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011. Proceedings

2024-11-13T08:40:39Z

Yazar Kanazawa, Makoto. editor. Kornai, András. editor. Kracht, Marcus. editor. Seki, Hiroyuki. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-23211-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Hybrid Logic and its Proof-Theory

2024-11-13T08:40:39Z

Yazar Braüner, Torben. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-94-007-0002-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Dual Tableaux: Foundations, Methodology, Case Studies

2024-11-13T08:40:39Z

Yazar Orlowska, Ewa. author. Golińska Pilarek, Joanna. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-94-007-0005-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Proof, Computation and Agency Logic at the Crossroads

2024-11-13T08:40:39Z

Yazar van Benthem, Johan. editor. Gupta, Amitabha. editor. Parikh, Rohit. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-94-007-0080-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Methods of Cut-Elimination

2024-11-13T08:40:39Z

Yazar Leitsch, Alexander. author. Baaz, Matthias. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-94-007-0320-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The P=NP Question and Gödel’s Lost Letter

2024-11-13T08:40:39Z

Yazar Lipton, Richard J. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-7155-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cognitive Reasoning A Formal Approach

2024-11-13T08:40:39Z

Yazar Gergely, Tamás. author. Anshakov, Oleg M. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-68875-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logical Tools for Handling Change in Agent-Based Systems

2024-11-13T08:40:39Z

Yazar Gabbay, Dov M. author. Schlechta, Karl. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-04407-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Natural Deduction, Hybrid Systems and Modal Logics

2024-11-13T08:40:39Z

Yazar Indrzejczak, Andrzej. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-90-481-8785-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Ernst Zermelo - Collected Works/Gesammelte Werke Volume I - Set Theory, Miscellanea / Band I - Mengenlehre, Varia

2024-11-13T08:40:39Z

Yazar Zermelo, Ernst. author. Ebbinghaus, Heinz-Dieter. editor. Fraser, Craig G. editor. Kanamori, Akihiro. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-79384-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logical Foundations of Computer Science International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings

2024-11-13T08:40:39Z

Yazar Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-92687-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Typed Lambda Calculi and Applications 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings

2024-11-13T08:40:39Z

Yazar Curien, Pierre-Louis. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-02273-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Rewriting Techniques and Applications 20th International Conference, RTA 2009 Brasília, Brazil, June 29 - July 1, 2009 Proceedings

2024-11-13T08:40:39Z

Yazar Treinen, Ralf. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-02348-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Games: Unifying Logic, Language, and Philosophy

2024-11-13T08:40:39Z

Yazar Majer, Ondrej. editor. Pietarinen, Ahti-Veikko. editor. Tulenheimo, Tero. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-9374-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Theories of Information From Shannon to Semantic Information Theory and General Concepts of Information

2024-11-13T08:40:39Z

Yazar Sommaruga, Giovanni. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-00659-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Rough Sets and Knowledge Technology 4th International Conference, RSKT 2009, Gold Coast, Australia, July 14-16, 2009. Proceedings

2024-11-13T08:40:39Z

Yazar Wen, Peng. editor. Li, Yuefeng. editor. Polkowski, Lech. editor. Yao, Yiyu. editor. Tsumoto, Shusaku. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-02962-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Science Logic 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings

2024-11-13T08:40:39Z

Yazar Grädel, Erich. editor. Kahle, Reinhard. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-04027-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic, Rationality, and Interaction Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009. Proceedings

2024-11-13T08:40:39Z

Yazar He, Xiangdong. editor. Horty, John. editor. Pacuit, Eric. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-04893-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Handbook of Weighted Automata

2024-11-13T08:40:39Z

Yazar Droste, Manfred. editor. Kuich, Werner. editor. Vogler, Heiko. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-01492-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Languages: From Formal to Natural Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday

2024-11-13T08:40:39Z

Yazar Grumberg, Orna. editor. Kaminski, Michael. editor. Katz, Shmuel. editor. Wintner, Shuly. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-01748-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Recent Trends in Algebraic Development Techniques 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers

2024-11-13T08:40:39Z

Yazar Corradini, Andrea. editor. Montanari, Ugo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-03429-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Science Logic 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings

2024-11-13T08:40:39Z

Yazar Kaminski, Michael. editor. Martini, Simone. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-87531-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Information and Knowledge A Constructive Type-theoretical Approach

2024-11-13T08:40:39Z

Yazar Primiero, Giuseppe. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-6170-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theoretische Informatik Eine umfassende Einführung

2024-11-13T08:40:39Z

Yazar Erk, Katrin. author. Priese, Lutz. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-76320-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Petri-Netze

2024-11-13T08:40:39Z

Yazar Priese, Lutz. author. Wimmel, Harro. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-76971-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Analysis and Synthesis of Logics How to Cut and Paste Reasoning Systems

2024-11-13T08:40:39Z

Yazar Carnielli, Walter. author. Coniglio, Marcelo. author. Gabbay, Dov M. author. Gouveia, Paula. author. Sernadas, Cristina. author.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-6782-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Modalities and Multimodalities With the assistance and collaboration of Juliana Bueno-Soler

2024-11-13T08:40:39Z

Yazar Carnielli, Walter. author. Pizzi, Claudio. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-8590-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Algorithms in Invariant Theory

2024-11-13T08:40:39Z

Yazar Sturmfels, Bernd. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-211-77417-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

New Computational Paradigms Changing Conceptions of What is Computable

2024-11-13T08:40:39Z

Yazar Cooper, S. Barry. editor. Löwe, Benedikt. editor. Sorbi, Andrea. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-68546-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic for Computer Scientists

2024-11-13T08:40:39Z

Yazar Schöning, Uwe. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-8176-4763-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theory and Applications of Satisfiability Testing – SAT 2008 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings

2024-11-13T08:40:39Z

Yazar Kleine Büning, Hans. editor. Zhao, Xishun. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-79719-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Institution-independent Model Theory

2024-11-13T08:40:39Z

Yazar Diaconescu, Răzvan. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-7643-8708-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logica Universalis Towards a General Theory of Logic

2024-11-13T08:40:39Z

Yazar Beziau, Jean-Yves. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-7643-8354-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Ernst Zermelo An Approach to His Life and Work

2024-11-13T08:40:39Z

Yazar Ebbinghaus, Heinz-Dieter. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-49553-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theory and Applications of Satisfiability Testing – SAT 2007 10th International Conference, Lisbon, Portugal, May 28-31, 2007. Proceedings

2024-11-13T08:40:39Z

Yazar Marques-Silva, João. editor. Sakallah, Karem A. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-72788-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Handbook of Spatial Logics

2024-11-13T08:40:39Z

Yazar Aiello, Marco. Pratt-Hartmann, Ian. Benthem, Johan. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-5587-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Finite Model Theory and Its Applications

2024-11-13T08:40:39Z

Yazar Grädel, Erich. author. Kolaitis, Phokion G. author. Libkin, Leonid. author. Marx, Maarten. author. Spencer, Joel. author.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/3-540-68804-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logical Foundations of Computer Science International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings

2024-11-13T08:40:39Z

Yazar Artemov, Sergei N. editor. Nerode, Anil. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-72734-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Science Logic 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings

2024-11-13T08:40:39Z

Yazar Duparc, Jacques. editor. Henzinger, Thomas A. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74915-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Notes on Set Theory

2024-11-13T08:40:39Z

Yazar Moschovakis, Yiannis. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/0-387-31609-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Finite Model Theory

2024-11-13T08:40:39Z

Yazar Ebbinghaus, Heinz-Dieter. author. Flum, Jörg. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/3-540-28788-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Parameterized Complexity Theory

2024-11-13T08:40:39Z

Yazar Flum, Jörg. author. Grohe, Martin. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/3-540-29953-X
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Function Algebras on Finite Sets A Basic Course on Many-Valued Logic and Clone Theory

2024-11-13T08:40:39Z

Yazar Lau, Dietlinde. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/3-540-36023-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theory and Applications of Satisfiability Testing - SAT 2006 9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedings

2024-11-13T08:40:39Z

Yazar Biere, Armin. editor. Gomes, Carla P. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11814948
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Science Logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006. Proceedings

2024-11-13T08:40:39Z

Yazar Ésik, Zoltán. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11874683
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Categories for Software Engineering

2024-11-13T08:40:39Z

Yazar Fiadeiro, José Luiz. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b138249
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Processes, Terms and Cycles: Steps on the Road to Infinity Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday

2024-11-13T08:40:39Z

Yazar Middeldorp, Aart. editor. Oostrom, Vincent. editor. Raamsdonk, Femke. editor. Vrijer, Roel. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11601548
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theory and Applications of Satisfiability Testing 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers

2024-11-13T08:40:39Z

Yazar Hoos, Holger H. editor. Mitchell, David G. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11527695
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theory and Applications of Satisfiability Testing 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings

2024-11-13T08:40:39Z

Yazar Bacchus, Fahiem. editor. Walsh, Toby. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b137280
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Science Logic 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005. Proceedings

2024-11-13T08:40:39Z

Yazar Ong, Luke. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11538363
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mechanizing Mathematical Reasoning Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday

2024-11-13T08:40:39Z

Yazar Hutter, Dieter. editor. Stephan, Werner. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b106663
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Adapting Proofs-as-Programs The Curry-Howard Protocol

2024-11-13T08:40:39Z

Yazar Poernomo, Iman Hafiz. author. Wirsing, Martin. author. Crossley, John Newsome. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/0-387-28183-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

A Modern Perspective on Type Theory From its Origins until Today

2024-11-13T08:40:39Z

Yazar Kamareddine, Fairouz. author. Laan, Twan. author. Nederpelt, Rob. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/1-4020-2335-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logica Universalis Towards a General Theory of Logic

2024-11-13T08:40:39Z

Yazar Beziau, Jean-Yves. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b137041
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic and information flow

2024-11-13T08:40:39Z

Yazar Eijck, J. van (Jan) Visser, Albert.
Yer Numarası ONLINE
Elektronik Erişim IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267445
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1