Search Results for Logic

1.

Logic in Computer Science

Yazar

Zhang, Hantao. author. Zhang, Jian. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-97-9816-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Rewriting Logic and Its Applications 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised Selected Papers

Yazar

Ogata, Kazuhiro. editor. (orcid)0000-0002-4441-3259 Martí-Oliet, Narciso. editor. (orcid)0000-0002-6576-762X SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-65941-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Logic, Rationality, and Interaction 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings

Yazar

Baltag, Alexandru. editor. Seligman, Jeremy. editor. Yamada, Tomoyuki. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-55665-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Logic Programming and Nonmonotonic Reasoning 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings

Yazar

Balduccini, Marcello. editor. Janhunen, Tomi. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-61660-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Guide to Discrete Mathematics An Accessible Introduction to the History, Theory, Logic and Applications

Yazar

O'Regan, Gerard. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-44561-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Petri Net Primer A Compendium on the Core Model, Analysis, and Synthesis

Yazar

Best, Eike. author. (orcid)0000-0003-0884-6468 Devillers, Raymond. author. (orcid)0000-0002-4339-2708 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-48278-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Maths For Computing A Beginner's Guide

Yazar

Charatan, Quentin. author. Kans, Aaron. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-69234-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

13.

WALCOM: Algorithms and Computation 19th International Conference and Workshops on Algorithms and Computation, WALCOM 2025, Chengdu, China, February 28 - March 2, 2025, Proceedings

Yazar

Nakano, Shin-ichi. editor. (orcid)0000-0003-2368-6183 Xiao, Mingyu. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-96-2845-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

14.

Formal Concept Analysis Mathematical Foundations

Yazar

Ganter, Bernhard. author. (orcid)0000-0003-0767-1379 Wille, Rudolf. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-63422-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

15.

Implementation and Application of Automata 28th International Conference, CIAA 2024, Akita, Japan, September 3-6, 2024, Proceedings

Yazar

Fazekas, Szilárd Zsolt. editor. (orcid)0000-0001-5319-0395 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-71112-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

16.

Computer Science - Theory and Applications 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings

Yazar

Weil, Pascal. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-58747-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

17.

Relational and Algebraic Methods in Computer Science 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings

Yazar

Höfner, Peter. editor. Pous, Damien. editor. Struth, Georg. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-57418-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

18.

Fundamentals of Computation Theory 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings

Yazar

Klasing, Ralf. editor. Zeitoun, Marc. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-55751-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

19.

Business Process Management 15th International Conference, BPM 2017, Barcelona, Spain, September 10-15, 2017, Proceedings

Yazar

Carmona, Josep. editor. Engels, Gregor. editor. Kumar, Akhil. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-65000-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

20.

Description Logics in Multimedia Reasoning

Yazar

Sikos, Leslie F. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-54066-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

21.

Developments in Language Theory 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings

Yazar

Charlier, Émilie. editor. Leroy, Julien. editor. Rigo, Michel. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-62809-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

22.

Computability and Complexity Essays Dedicated to Rodney G. Downey on the Occasion of His 60th Birthday

Yazar

Day, Adam. editor. Fellows, Michael. editor. Greenberg, Noam. editor. Khoussainov, Bakhadyr. editor. Melnikov, Alexander. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-50062-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

23.

Computing and Combinatorics 22nd International Conference, COCOON 2016, Ho Chi Minh City, Vietnam, August 2-4, 2016, Proceedings

Yazar

Dinh, Thang N. editor. Thai, My T. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-42634-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

24.

Computer Algebra in Scientific Computing 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, Proceedings

Yazar

Gerdt, Vladimir P. editor. Koepf, Wolfram. editor. Seiler, Werner M. editor. Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-45641-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

25.

Descriptive Set Theoretic Methods in Automata Theory Decidability and Topological Complexity

Yazar

Skrzypczak, Michał. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-52947-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

26.

Language and Automata Theory and Applications 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings

Yazar

Dediu, Adrian-Horia. editor. Janoušek, Jan. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-30000-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

27.

Descriptional Complexity of Formal Systems 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings

Yazar

Câmpeanu, Cezar. editor. Manea, Florin. editor. Shallit, Jeffrey. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-41114-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

28.

Diagrammatic Representation and Inference 9th International Conference, Diagrams 2016, Philadelphia, PA, USA, August 7-10, 2016, Proceedings

Yazar

Jamnik, Mateja. editor. Uesaka, Yuri. editor. Elzer Schwartz, Stephanie. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-42333-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

29.

Implementation and Application of Automata 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016, Proceedings

Yazar

Han, Yo-Sub. editor. Salomaa, Kai. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-40946-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

30.

Theoretical Aspects of Computing - ICTAC 2016 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings

Yazar

Sampaio, Augusto. editor. (orcid)0000-0001-6593-577X Wang, Farn. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-46750-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

31.

Computer Science - Theory and Applications 11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9-13, 2016, Proceedings

Yazar

Kulikov, Alexander S. editor. Woeginger, Gerhard J. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-34171-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

32.

Graph Transformation 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedings

Yazar

Echahed, Rachid. editor. Minas, Mark. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-40530-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

33.

Algorithmic Aspects of Cloud Computing First International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised Selected Papers

Yazar

Karydis, Ioannis. editor. Sioutas, Spyros. editor. Triantafillou, Peter. editor. Tsoumakos, Dimitrios. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-29919-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

34.

Learning and Intelligent Optimization 10th International Conference, LION 10, Ischia, Italy, May 29 -- June 1, 2016, Revised Selected Papers

Yazar

Festa, Paola. editor. Sellmann, Meinolf. editor. Vanschoren, Joaquin. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-50349-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

35.

Developments in Language Theory 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings

Yazar

Brlek, Srečko. editor. Reutenauer, Christophe. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-53132-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

36.

Modelling Computing Systems Mathematics for Computer Science

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

37.

Concise Computer Mathematics Tutorials on Theory and Problems

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

38.

Computer Algebra in Scientific Computing 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013. Proceedings

Yazar

Gerdt, Vladimir P. editor. Koepf, Wolfram. editor. Mayr, Ernst W. editor. Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(332910.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

39.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

40.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

41.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

42.

Computing and Combinatorics 19th International Conference, COCOON 2013, Hangzhou, China, June 21-23, 2013. Proceedings

Yazar

Du, Ding-Zhu. editor. Zhang, Guochuan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334665.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-38768-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

43.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

44.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

45.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

46.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

47.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

48.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

	{displayName}	{count}
{error}