Search Results for Mathematical logic.

1.

Computing with New Resources Essays Dedicated to Jozef Gruska on the Occasion of His 80th Birthday

Yazar

Calude, Cristian S. editor. Freivalds, Rūsiņš. editor. Kazuo, Iwama. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Computer Aided Verification 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings

Yazar

Biere, Armin. editor. (orcid)0000-0001-7170-9242 Bloem, Roderick. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Reachability Problems 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014, Proceedings

Yazar

Ouaknine, Joel. editor. Potapov, Igor. editor. Worrell, James. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Categories and Types in Logic, Language, and Physics Essays dedicated to Jim Lambek on the Occasion of this 90th Birthday

Yazar

Casadio, Claudia. editor. Coecke, Bob. editor. Moortgat, Michael. editor. Scott, Philip. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-642-54789-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Model-Based Safety and Assessment 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014, Proceedings

Yazar

Ortmeier, Frank. editor. (orcid)0000-0001-6186-4142 Rauzy, Antoine. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Controlled Natural Language 4th International Workshop, CNL 2014, Galway, Ireland, August 20-22, 2014, Proceedings

Yazar

Davis, Brian. editor. Kaljurand, Kaarel. editor. Kuhn, Tobias. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Regulated Grammars and Automata

Yazar

Meduna, Alexander. author. Zemek, Petr. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Logic-Based Program Synthesis and Transformation 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers

Yazar

Gupta, Gopal. editor. Peña, Ricardo. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Commonsense reasoning an event calculus-based approach

Yazar

Mueller, Erik T., author.

Yer Numarası

ONLINE(355437.1)

Elektronik Erişim

ScienceDirect http://www.sciencedirect.com/science/book/9780128014165

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

A transition to mathematics with proofs

Yazar

Cullinane, Michael J.

Yer Numarası

QA9 C84 2013

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

11.

Kurt Gödel Essays for his Centennial

Yazar

Feferman, Solomon. Parsons, Charles. Simpson, Stephen G..

Yer Numarası

ONLINE

Elektronik Erişim

Access by subscription

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Discrete mathematics and its applications

Yazar

Rosen, Kenneth H. Krithivasan, Kamala.

Yer Numarası

QA39.3 R674 2013

Format:

Durum

Beytepe Kütüphanesi~2

Rafta:
Kopya:

13.

An introduction to Gödel's theorems

Yazar

Smith, Peter, 1944- author.

Yer Numarası

ONLINE

Elektronik Erişim

EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=533820

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

14.

Logicism and its philosophical legacy

Yazar

Demopoulos, William.

Yer Numarası

ONLINE

Elektronik Erişim

EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=508286

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

15.

Önermeler mantığı

Yazar

Nesin, Ali.

Yer Numarası

QA270 N476 2013

Format:

Durum

Beytepe Kütüphanesi~3

Rafta:
Kopya:

16.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

17.

L.E.J. Brouwer – Topologist, Intuitionist, Philosopher How Mathematics Is Rooted in Life

Yazar

Dalen, Dirk. author. SpringerLink (Online service)

Yer Numarası

ONLINE(331026.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4471-4616-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

18.

A General Framework for Reasoning On Inconsistency

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

19.

The Mathematics of Paul Erdős II

Yazar

Graham, Ronald L. editor. Nešetřil, Jaroslav. editor. Butler, Steve. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(332243.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4614-7254-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

20.

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:

21.

Proofs of the Cantor-Bernstein Theorem A Mathematical Excursion

Yazar

Hinkis, Arie. author. SpringerLink (Online service)

Yer Numarası

ONLINE(332605.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-0348-0224-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

22.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

23.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

24.

The Mathematics of Coordinated Inference A Study of Generalized Hat Problems

Yazar

Hardin, Christopher S. author. Taylor, Alan D. author. SpringerLink (Online service)

Yer Numarası

ONLINE(332859.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

25.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

26.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

27.

Stochastic Calculus with Infinitesimals

Yazar

Herzberg, Frederik. author. SpringerLink (Online service)

Yer Numarası

ONLINE(333673.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-33149-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

28.

Industrial Deployment of System Engineering Methods

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

29.

Cylindric-like Algebras and Algebraic Logic

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

30.

Mathematics of Fuzzy Sets and Fuzzy Logic

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

31.

Transactions on Rough Sets XVI

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

32.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

33.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

34.

The Language of Mathematics A Linguistic and Philosophical Investigation

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

35.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

36.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

37.

Ontology Matching

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

38.

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:

39.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

40.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

41.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

42.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

43.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

44.

Erdős Centennial

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

45.

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:

46.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

47.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

48.

Paraconsistency: Logic and Applications

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

49.

Springer-Handbuch der Mathematik II Begründet von I.N. Bronstein und K.A. Semendjaew Weitergeführt von G. Grosche, V. Ziegler und D. Ziegler Herausgegeben von E. Zeidler

Yazar

Zeidler, Eberhard. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(337476.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-658-00297-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

50.

After Gödel : Platonism and rationalism in mathematics and logic

Yazar

Tieszen, Richard L., author.

Yer Numarası

QA9 T54 2013

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

51.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

52.

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:

53.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

54.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

55.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

56.

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:

57.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

58.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

59.

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:

60.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

61.

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:

62.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

63.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

64.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

65.

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:

66.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

67.

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:

68.

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:

69.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

70.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

71.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

72.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

73.

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:

74.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

75.

The Argument of Mathematics

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

76.

Belief Revision in Non-Classical Logics

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

77.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

78.

Logic and Structure

Yazar

Dalen, Dirk. author. SpringerLink (Online service)

Yer Numarası

ONLINE(331010.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4471-4558-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

79.

Using Event-B for Critical Device Software Systems

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

80.

Formal Languages and Compilation

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

81.

A Logical Introduction to Proof

Yazar

Cunningham, Daniel W. author. SpringerLink (Online service)

Yer Numarası

ONLINE(331358.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4614-3631-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

82.

An Invitation to Abstract Mathematics

Yazar

Bajnok, Béla. author. SpringerLink (Online service)

Yer Numarası

ONLINE(332077.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4614-6636-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

83.

Visual Reasoning with Diagrams

Yazar

Moktefi, Amirouche. editor. Shin, Sun-Joo. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(332637.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-0348-0600-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

84.

Towards a General Theory of Classifications

Yazar

Parrochia, Daniel. author. Neuville, Pierre. author. SpringerLink (Online service)

Yer Numarası

ONLINE(332639.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-0348-0609-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

85.

Logical Foundations of Mathematics and Computational Complexity A Gentle Introduction

Yazar

Pudlák, Pavel. author. SpringerLink (Online service)

Yer Numarası

ONLINE(332681.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

86.

Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift

Yazar

Paule, Peter. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(332822.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

87.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

88.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

89.

The Real Numbers An Introduction to Set Theory and Analysis

Yazar

Stillwell, John. author. SpringerLink (Online service)

Yer Numarası

ONLINE(332876.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

90.

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:

91.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

92.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

93.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

94.

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

Yazar

Seising, Rudolf. editor. Trillas, Enric. editor. Moraga, Claudio. editor. Termini, Settimo. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334018.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

95.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

96.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

97.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

98.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

99.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

100.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

101.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

102.

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:

103.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

104.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

105.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

106.

Programming Logics Essays in Memory of Harald Ganzinger

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

107.

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:

108.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

109.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

110.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

111.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

112.

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:

113.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

114.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

115.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

116.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

117.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

118.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

119.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

120.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

121.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

122.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

123.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

124.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

125.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

126.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

127.

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:

128.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

129.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

130.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

131.

Reactive Kripke Semantics

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

132.

Teoria degli Automi Finiti

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

133.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

134.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

135.

David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1917-1933

Yazar

Ewald, William. editor. Sieg, Wilfried. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(336850.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-69444-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

136.

An den Grenzen des Endlichen Das Hilbertprogramm im Kontext von Formalismus und Finitismus

Yazar

Tapp, Christian. author. SpringerLink (Online service)

Yer Numarası

ONLINE(336968.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

137.

Grenzen der Mathematik Eine Reise durch die Kerngebiete der mathematischen Logik

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

138.

Die Gödel’schen Unvollständigkeitssätze Eine geführte Reise durch Kurt Gödels historischen Beweis

Yazar

Hoffmann, Dirk W. author. SpringerLink (Online service)

Yer Numarası

ONLINE(338283.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-8274-3000-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

139.

Around and Beyond the Square of Opposition

Yazar

Béziau, Jean-Yves. editor. Jacquette, Dale. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

140.

Peeling potatoes or grinding lenses Spinoza and young Wittgenstein converse on immanence and its logic

Yazar

Baltas, Aristeidēs. Project Muse.

Yer Numarası

ONLINE

Elektronik Erişim

Full text available:

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

141.

Foundations of Algebraic Specification and Formal Software Development

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

142.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

143.

Logic: A Brief Course

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

144.

Truth and Falsehood An Inquiry into Generalized Logical Values

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

145.

Teoria algebrica dei meccanismi automatici

Yazar

Righi, R. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

146.

Sparsity Graphs, Structures, and Algorithms

Yazar

Nešetřil, Jaroslav. author. Ossona de Mendez, Patrice. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

147.

On Intuitionistic Fuzzy Sets Theory

Yazar

Atanassov, Krassimir T. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-29127-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

148.

Frege's notations what they are and how they mean

Yazar

Landini, Gregory. Palgrave Connect (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=433320

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

149.

Non solo calcoli Domande e risposte sui perché della matematica

Yazar

Villani, Vinicio. author. Bernardi, Claudio. author. Zoccante, Sergio. author. Porcaro, Roberto. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-88-470-2610-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

150.

Epistemology versus Ontology Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf

Yazar

Dybjer, P. editor. Lindström, Sten. editor. Palmgren, Erik. editor. Sundholm, G. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-94-007-4435-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

151.

Mathematical Olympiad Treasures

Yazar

Andreescu, Titu. author. Enescu, Bogdan. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-0-8176-8253-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

152.

Excursions in the History of Mathematics

Yazar

Kleiner, Israel. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-0-8176-8268-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

153.

A Beginner's Guide to Discrete Mathematics

Yazar

Wallis, W.D. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-0-8176-8286-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

154.

The Mathematical Experience, Study Edition

Yazar

Davis, Philip J. author. Hersh, Reuben. author. Marchisotto, Elena Anne. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-0-8176-8295-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

155.

A Beginner's Guide to Finite Mathematics For Business, Management, and the Social Sciences

Yazar

Wallis, W.D. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-0-8176-8319-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

156.

Combinatorial Set Theory With a Gentle Introduction to Forcing

Yazar

Halbeisen, Lorenz J. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4471-2173-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

157.

Godel's way : exploits into an undecidable world

Yazar

Chaitin, Gregory J., author. Doria, Francisco Antonio. Costa, Newton C. A. da.

Yer Numarası

QA9.65 .C428 2012

Elektronik Erişim

Click here to view.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

158.

Industrial control systems : mathematical and statistical models and techniques

Yazar

Badiru, Adedeji Bodunde, 1952, author. Ibidapo-Obe, Oye. Ayeni, Babatunde J.

Yer Numarası

TS156.8 .B343 2012

Elektronik Erişim

Click here to view.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

159.

Systems engineering and architecting : creating formal requirements

Yazar

Bellagamba, Laurence., author.

Yer Numarası

TA168 .B376 2012

Elektronik Erişim

Click here to view.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

160.

Lecture Notes on O-Minimal Structures and Real Analytic Geometry

Yazar

Miller, Chris. editor. Rolin, Jean-Philippe. editor. Speissegger, Patrick. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4614-4042-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

161.

Introduction to Mathematical Structures and Proofs

Yazar

Gerstein, Larry J. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4614-4265-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

162.

Mathematics of Discrete Structures for Computer Science

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

163.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

164.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

165.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

166.

The Complexity of Valued Constraint Satisfaction Problems

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

167.

Hybrid Dynamical Systems : Modeling, Stability, and Robustness.

Yazar

Goebel, Rafal. Sanfelice, Ricardo G. Teel, Andrew R.

Yer Numarası

ONLINE

Elektronik Erişim

http://www.jstor.org/stable/10.2307/j.ctt7s02z

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

168.

The logician and the engineer : how George Boole and Claude Shannon created the information age

Yazar

Nahin, Paul J.

Yer Numarası

ONLINE

Elektronik Erişim

http://www.jstor.org/stable/10.2307/j.cttq957s

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

169.

Handbook of logic and language

Yazar

Benthem, J. F. A. K. van, 1949- Meulen, Alice G. B. ter.

Yer Numarası

ONLINE

Elektronik Erişim

ScienceDirect http://www.sciencedirect.com/science/book/9780444537263

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

170.

The Proof is in the Pudding The Changing Nature of Mathematical Proof

Yazar

Krantz, Steven G. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-0-387-48744-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

171.

The Colorado Mathematical Olympiad and Further Explorations From the Mountains of Colorado to the Peaks of Mathematics

Yazar

Soifer, Alexander. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-0-387-75472-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

172.

Reading, Writing, and Proving A Closer Look at Mathematics

Yazar

Daepp, Ulrich. author. Gorkin, Pamela. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4419-9479-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

173.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

174.

Mathematical Lives Protagonists of the Twentieth Century From Hilbert to Wiles

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

175.

Hyperfinite Dirichlet Forms and Stochastic Processes

Yazar

Albeverio, Sergio. author. Fan, Ruzong. author. Herzberg, Frederik. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-19659-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

176.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

177.

Logic and Games on Automatic Structures Playing with Quantifiers and Decompositions

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

178.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

179.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

180.

Grenzen der Mathematik Eine Reise durch die Kerngebiete der mathematischen Logik

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

181.

Un mondo di idee La matematica ovunque

Yazar

Ciliberto, Ciro. editor. Lucchetti, Roberto. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-88-470-1744-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

182.

Giuseppe Peano between Mathematics and Logic Proceeding of the International Conference in honour of Giuseppe Peano on the 150th anniversary of his birth and the centennial of the Formulario Mathematico, Turin (Italy), October 2–3,2008

Yazar

Skof, Fulvia. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-88-470-1836-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

183.

Logica: Metodo Breve

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

184.

Advanced Łukasiewicz calculus and MV-algebras

Yazar

Mundici, D. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

185.

McGraw-Hill's conquering LSAT logic games

Yazar

Curvebreakers.

Yer Numarası

ONLINE

Elektronik Erişim

Subscription required

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

186.

McGraw-Hill's LSAT

Yazar

Curvebreakers.

Yer Numarası

ONLINE

Elektronik Erişim

Subscription required

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

187.

Logic demystified

Yazar

Boutelle, Anthony. Gibilisco, Stan.

Yer Numarası

ONLINE

Elektronik Erişim

Subscription required

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

188.

Recursion Theory and Computational Complexity

Yazar

Lolli, G. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-11072-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

189.

Model Theory and Applications

Yazar

Mangani, P. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-11121-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

190.

Cantor und die Franzosen Mathematik, Philosophie und das Unendliche

Yazar

Décaillot, Anne-Marie. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-14869-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

191.

From Objects to Diagrams for Ranges of Functors

Yazar

Gillibert, Pierre. author. Wehrung, Friedrich. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-21774-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

192.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

193.

Apartness and Uniformity A Constructive Development

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

194.

Computational logic and human thinking how to be artificially intelligent

Yazar

Kowalski, Robert.

Yer Numarası

ONLINE

Elektronik Erişim

EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=375916

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

195.

An introduction to practical formal methods using temporal logic

Yazar

Fisher, Michael, 1962-

Yer Numarası

ONLINE

Elektronik Erişim

John Wiley http://dx.doi.org/10.1002/9781119991472
http://proquest.safaribooksonline.com/?fpi=9780470027882
Books24x7 http://www.books24x7.com/marc.asp?bookid=46822
http://proquest.safaribooksonline.com/9780470027882
Volltext http://proquest.tech.safaribooksonline.de/9780470027882

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

196.

Hybrid Logic and its Proof-Theory

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

197.

Dual Tableaux: Foundations, Methodology, Case Studies

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

198.

Proof, Computation and Agency Logic at the Crossroads

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

199.

Logic, Mathematics, Philosophy, Vintage Enthusiasms Essays in Honour of John L. Bell

Yazar

DeVidi, David. editor. Hallett, Michael. editor. Clarke, Peter. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-94-007-0214-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

200.

Methods of Cut-Elimination

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

201.

Foundational Theories of Classical and Constructive Mathematics

Yazar

Sommaruga, Giovanni. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

202.

Games, Norms and Reasons Logic at the Crossroads

Yazar

van Benthem, Johan. editor. Gupta, Amitabha. editor. Pacuit, Eric. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-94-007-0714-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

203.

Treatise on Intuitionistic Type Theory

Yazar

Granström, Johan Georg. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-94-007-1736-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

204.

After Gödel Platonism and rationalism in mathematics and logic

Yazar

Tieszen, Richard L.

Yer Numarası

ONLINE

Elektronik Erişim

Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780199606207.001.0001

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

205.

Set Theory, Arithmetic, and Foundations of Mathematics Theorems, Philosophies

Yazar

Kennedy, Juliette. Kossak, Roman.

Yer Numarası

ONLINE

Elektronik Erişim

Access by subscription

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

206.

The Evolution of Principia Mathematica Bertrand Russell's Manuscripts and Notes for the Second Edition

Yazar

Linsky, Bernard.

Yer Numarası

ONLINE

Elektronik Erişim

Access by subscription

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

207.

Quantifiers, Propositions and Identity Admissible Semantics for Quantified Modal and Substructural Logics

Yazar

Goldblatt, Robert.

Yer Numarası

ONLINE

Elektronik Erişim

Access by subscription

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

208.

Logical Dynamics of Information and Interaction

Yazar

van Benthem, Johan.

Yer Numarası

ONLINE

Elektronik Erişim

Access by subscription

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

209.

The origin of the logic of symbolic mathematics Edmund Husserl and Jacob Klein

Yazar

Hopkins, Burt C. Project Muse.

Yer Numarası

ONLINE

Elektronik Erişim

Full text available:

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

210.

Proofs and Fundamentals A First Course in Abstract Mathematics

Yazar

Bloch, Ethan D. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4419-7127-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

211.

Tractatus logico-philosophicus

Yazar

Wittgenstein, Ludwig. Aruoba, Oruç.

Yer Numarası

BC135 W5719 2011

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

212.

The Selected Correspondence of L.E.J. Brouwer

Yazar

Dalen, Dirk. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-0-85729-537-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

213.

Conditionals and Modularity in General Logics

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

214.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

215.

Additive Number Theory Festschrift In Honor of the Sixtieth Birthday of Melvyn B. Nathanson

Yazar

Chudnovsky, David. editor. Chudnovsky, Gregory. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-0-387-68361-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

216.

Cardinal Invariants on Boolean Algebras

Yazar

Monk, J. Donald. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-0346-0334-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

217.

Mathematical reasoning patterns, problems, conjectures, and proofs

Yazar

Nickerson, Raymond S.

Yer Numarası

ONLINE

Elektronik Erişim

Click here to view

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

218.

Banach Spaces and Descriptive Set Theory: Selected Topics

Yazar

Dodos, Pandelis. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-12153-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

219.

Logic and Philosophy of Mathematics in the Early Husserl

Yazar

Centrone, Stefania. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-90-481-3246-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

220.

Discrete structures, logic, and computability

Yazar

Hein, James L.

Yer Numarası

QA76.9.M35 H44 2010

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

221.

Cognitive Reasoning A Formal Approach

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

222.

Logical Tools for Handling Change in Agent-Based Systems

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

223.

Natural Deduction, Hybrid Systems and Modal Logics

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

224.

A Framework for Priority Arguments

Yazar

Lerman, Manuel.

Yer Numarası

ONLINE

Elektronik Erişim

Access by subscription

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

225.

Logic Colloquium 2007

Yazar

Delon, Françoise. Kohlenbach, Ulrich. Maddy, Penelope. Stephan, Frank.

Yer Numarası

ONLINE

Elektronik Erişim

Access by subscription

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

226.

Logical Foundations of Proof Complexity

Yazar

Cook, Stephen. Nguyen, Phuong.

Yer Numarası

ONLINE

Elektronik Erişim

Access by subscription

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

227.

Propositions, functions, and analysis selected essays on Russell's philosophy

Yazar

Hylton, Peter.

Yer Numarası

ONLINE

Elektronik Erişim

Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780199286355.001.0001

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

228.

Truth through proof a formalist foundation for mathematics

Yazar

Weir, Alan.

Yer Numarası

ONLINE

Elektronik Erişim

Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780199541492.001.0001

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

229.

Handbook of Set Theory

Yazar

Foreman, Matthew. editor. Kanamori, Akihiro. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4020-5764-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

230.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

231.

Teaching mathematical reasoning in secondary school classrooms

Yazar

Brodie, Karin. Coetzee, Kurt.

Yer Numarası

QA8.7 B76 2010

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

232.

Roads to infinity : the mathematics of truth and proof

Yazar

Stillwell, John., author.

Yer Numarası

QA248 .S778 2010

Elektronik Erişim

Click here to view.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

233.

Mathematische Logik

Yazar

Ziegler, Martin. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-0346-0652-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

234.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

235.

Einführung in die Mengenlehre Die Mengenlehre Georg Cantors und ihre Axiomatisierung durch Ernst Zermelo

Yazar

Deiser, Oliver. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-01445-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

236.

Introduction to Boolean Algebras

Yazar

Halmos, Paul. author. Givant, Steven. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-0-387-68436-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

237.

The Mathematical Coloring Book Mathematics of Coloring and the Colorful Life of its Creators

Yazar

Soifer, Alexander. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-0-387-74642-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

238.

A Missing Link in Cybernetics Logic and Continuity

Yazar

Andrew, Alex M. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-0-387-75164-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

239.

Scenario Logic and Probabilistic Management of Risk in Business and Engineering

Yazar

Solojentsev, Evgueni D. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-0-387-77946-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

240.

Games: Unifying Logic, Language, and Philosophy

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

241.

From a Geometrical Point of View A Study of the History and Philosophy of Category Theory

Yazar

Marquis, Jean-Pierre. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4020-9384-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

242.

Proof Theory for Fuzzy Logics

Yazar

Metcalfe, George. author. Olivetti, Nicola. author. Gabbay, Dov. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4020-9409-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

243.

Logicism, Intuitionism, and Formalism What has Become of Them?

Yazar

Lindström, Sten. editor. Palmgren, Erik. editor. Segerberg, Krister. editor. Stoltenberg-Hansen, Viggo. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4020-8926-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

244.

Proof Theory The First Step into Impredicativity

Yazar

Pohlers, Wolfram. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-69319-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

245.

Teaching and learning proof across the grades a K-16 perspective

Yazar

Stylianou, Despina A. Blanton, Maria L. Knuth, Eric J. National Council of Teachers of Mathematics.

Yer Numarası

ONLINE

Elektronik Erişim

Click here to view

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

246.

Recasting Reality Wolfgang Pauli’s Philosophical Ideas and Contemporary Science

Yazar

Atmanspacher, Harald. editor. Primas, Hans. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-85198-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

247.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

248.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

249.

Ultimate Explanations of the Universe

Yazar

Heller, Michael. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-02103-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

250.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

251.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

252.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

253.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

254.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

255.

Logic Colloquium 2006

Yazar

Cooper, S. Barry. Geuvers, Herman. Pillay, Anand. Väänänen, Jouko.

Yer Numarası

ONLINE

Elektronik Erişim

Access by subscription

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

256.

Generalized Measure Theory

Yazar

Wang, Zhenyuan. author. Klir, George J. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-0-387-76852-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

257.

Logic and Integer Programming

Yazar

Williams, H. Paul. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-0-387-92280-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

258.

Mathematical Olympiad Challenges

Yazar

Andreescu, Titu. author. Gelca, Răzvan. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-0-8176-4611-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

259.

Logical labyrinths

Yazar

Smullyan, Raymond M., author.

Yer Numarası

QA9 .S575 2009

Elektronik Erişim

Click here to view.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

260.

Games, puzzles, and computation

Yazar

Hearn, Robert A., author. Demaine, Erik D., 1981-

Yer Numarası

QA63 .H35 2009

Elektronik Erişim

Click here to view.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

261.

Introduction to mathematics of satisfiability

Yazar

Marek, V. W. (V. Wiktor), 1943, author.

Yer Numarası

QA9.3 .M37 2009

Elektronik Erişim

Click here to view.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

262.

Dude, Can You Count? Stories, Challenges, and Adventures in Mathematics

Yazar

Constanda, Christian. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-84882-539-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

263.

Algorithmic Composition Paradigms of Automated Music Generation

Yazar

Nierhaus, Gerhard. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-211-75540-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

264.

Logische Grundlagen der Mathematik

Yazar

Schindler, Ralf. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-95932-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

265.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

266.

Handbook of Weighted Automata

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

267.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

268.

New Computational Paradigms Changing Conceptions of What is Computable

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

269.

Combinatorics and Graph Theory

Yazar

Harris, John. author. Hirst, Jeffry L. author. Mossinghoff, Michael. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-0-387-79711-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

270.

Information and Knowledge A Constructive Type-theoretical Approach

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

271.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

272.

Completeness Theory for Propositional Logics

Yazar

Pogorzelski, Witold A. author. Wojtylak, Piotr. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-7643-8518-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

273.

Institution-independent Model Theory

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

274.

Deduction, Computation, Experiment Exploring the Effectiveness of Proof

Yazar

Lupacchini, Rossella. editor. Corsi, Giovanna. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-88-470-0784-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

275.

Theoretische Informatik Eine umfassende Einführung

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

276.

Gesammelte Werke Band III Mengenlehre (1927, 1935) Deskriptive Mengenlehre und Topologie

Yazar

Hausdorff, Felix. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-76807-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

277.

Petri-Netze

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

278.

Field Arithmetic

Yazar

Fried, Michael D. author. Jarden, Moshe. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-77270-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

279.

New Developments in Formal Languages and Applications

Yazar

Bel-Enguix, Gemma. editor. Jiménez-López, M. Dolores. editor. Martín-Vide, Carlos. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-78291-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

280.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

281.

Guida alla teoria degli insiemi

Yazar

Lolli, Gabriele. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-88-470-0769-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

282.

New essays on Tarski and philosophy

Yazar

Patterson, Douglas.

Yer Numarası

ONLINE

Elektronik Erişim

Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780199296309.001.0001

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

283.

Mathematics, Models, and Modality Selected Philosophical Essays

Yazar

Burgess, John P..

Yer Numarası

ONLINE

Elektronik Erişim

Access by subscription

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

284.

Logic for Computer Scientists

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

285.

Discrete Thoughts Essays on Mathematics, Science and Philosophy

Yazar

Kac, Mark. author. Rota, Gian-Carlo. author. Schwartz, Jacob T. author. Renz, Peter. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-0-8176-4775-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

286.

Indiscrete Thoughts

Yazar

Rota, Gian-Carlo. Palombi, Fabrizio. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-0-8176-4781-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

287.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

288.

A Geometry of Approximation Rough Set Theory: Logic, Algebra and Topology of Conceptual Patterns

Yazar

Pagliani, Piero. editor. Chakraborty, Mihir. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4020-8622-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

289.

Mathematics of quantum computation and quantum technology

Yazar

Chen, Goong, 1950- Kauffman, Louis H., 1945- Lomonaco, Samuel J.

Yer Numarası

QA76.889 .M383 2008

Elektronik Erişim

Click here to view.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

290.

Constructive Negations and Paraconsistency

Yazar

Odintsov, Sergei P. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4020-6867-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

291.

Algorithms in Invariant Theory

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

292.

Applied Proof Theory: Proof Interpretations and Their Use in Mathematics

Yazar

Kohlenbach, Ulrich. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-77533-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

293.

Reelle Zahlen Das klassische Kontinuum und die natürlichen Folgen

Yazar

Deiser, Oliver. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-79376-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

294.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

295.

Perspectives On Mathematical Practices Bringing Together Philosophy of Mathematics, Sociology of Mathematics, and Mathematics Education

Yazar

Kerkhove, Bart. Bendegem, Jean Paul. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/1-4020-5034-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

296.

Brouwer Meets Husserl On the Phenomenology of Choice Sequences

Yazar

Atten, Mark. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4020-5087-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

297.

Handbook of Spatial Logics

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

298.

Ideals, Varieties, and Algorithms An Introduction to Computational Algebraic Geometry and Commutative Algebra

Yazar

Cox, David. author. Little, John. author. O’Shea, Donal. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-0-387-35651-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

299.

Kolmogorov’s Heritage in Mathematics

Yazar

Charpentier, Éric. editor. Lesne, Annick. editor. Nikolski, Nikolaï K. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-36351-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

300.

Reelle Zahlen Das klassische Kontinuum und die natürlichen Folgen

Yazar

Deiser, Oliver. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-45388-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

	{displayName}	{count}
{error}