Search Results for Mathematical logic.

1.

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:

2.

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:

3.

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:

4.

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:

5.

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:

6.

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:

7.

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:

8.

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:

9.

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:

10.

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:

11.

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:

12.

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:

13.

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:

14.

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:

15.

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:

16.

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:

17.

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:

18.

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:

19.

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:

20.

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:

21.

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:

22.

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:

23.

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:

24.

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:

25.

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:

26.

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:

27.

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:

28.

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:

29.

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:

30.

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:

31.

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:

32.

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:

33.

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:

34.

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:

35.

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:

36.

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:

37.

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:

38.

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:

39.

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:

40.

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:

41.

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:

42.

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:

43.

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:

44.

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:

45.

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:

46.

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:

47.

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:

48.

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:

49.

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:

50.

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:

51.

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:

52.

Önermeler mantığı

Yazar

Nesin, Ali.

Yer Numarası

QA270 N476 2013

Format:

Durum

Beytepe Kütüphanesi~3

Rafta:
Kopya:

53.

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:

54.

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:

55.

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:

56.

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:

57.

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:

58.

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:

59.

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:

60.

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:

61.

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:

62.

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:

63.

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:

64.

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:

65.

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:

66.

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:

67.

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:

68.

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:

69.

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:

70.

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:

71.

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:

72.

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:

73.

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:

74.

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:

75.

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:

76.

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:

77.

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:

78.

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:

79.

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:

80.

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:

81.

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:

82.

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:

83.

Tractatus logico-philosophicus

Yazar

Wittgenstein, Ludwig. Aruoba, Oruç.

Yer Numarası

BC135 W5719 2011

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

84.

The New Elements of Mathematics. Volume 4, Mathematical Philosophy

Yazar

Eisele, Carolyn, editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1515/9783110805888
https://www.degruyter.com/isbn/9783110805888
Cover https://www.degruyter.com/document/cover/isbn/9783110805888/original

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

85.

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:

86.

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:

87.

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:

88.

McGraw-Hill's LSAT

Yazar

Curvebreakers.

Yer Numarası

ONLINE

Elektronik Erişim

Subscription required

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

89.

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:

90.

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:

91.

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:

92.

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:

93.

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:

94.

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:

95.

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:

96.

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:

97.

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:

98.

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:

99.

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:

100.

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:

101.

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:

102.

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:

103.

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:

104.

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:

105.

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:

106.

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:

107.

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:

108.

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:

109.

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:

110.

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:

111.

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:

112.

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:

113.

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:

114.

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:

115.

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:

116.

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:

117.

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:

118.

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:

119.

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:

120.

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:

121.

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:

122.

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:

123.

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:

124.

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:

125.

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:

126.

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:

127.

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:

128.

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:

129.

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:

130.

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:

131.

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:

132.

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:

133.

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:

134.

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:

135.

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:

136.

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:

137.

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:

138.

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:

139.

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:

140.

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:

141.

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:

142.

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:

143.

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:

144.

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:

145.

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:

146.

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:

147.

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:

148.

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:

149.

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:

150.

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:

151.

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:

152.

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:

153.

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:

154.

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:

155.

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:

156.

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:

157.

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:

158.

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:

159.

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:

160.

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:

161.

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:

162.

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:

163.

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:

164.

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:

165.

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:

166.

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:

167.

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:

168.

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:

169.

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:

170.

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:

171.

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:

172.

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:

173.

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:

174.

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:

175.

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:

176.

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:

177.

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:

178.

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:

179.

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:

180.

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:

181.

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:

182.

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:

183.

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:

184.

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:

185.

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:

186.

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:

187.

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:

188.

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:

189.

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:

190.

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:

191.

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:

192.

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:

193.

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:

194.

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:

195.

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:

196.

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:

197.

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:

198.

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:

199.

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:

200.

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:

201.

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:

202.

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:

203.

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:

204.

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:

205.

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:

206.

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:

207.

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:

208.

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:

209.

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:

210.

Transition to higher mathematics : structure and proof

Yazar

Dumas, Bob A. McCarthy, John E.

Yer Numarası

QA9 .D863 2007

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

211.

Discrete mathematics and its applications

Yazar

Rosen, Kenneth H.

Yer Numarası

QA39.3 R674 2007

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

212.

Finite Model Theory and Its Applications

Yazar

Grädel, Erich. author. Kolaitis, Phokion G. author. Libkin, Leonid. author. Marx, Maarten. author. Spencer, Joel. author.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

213.

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

Yazar

Artemov, Sergei N. editor. Nerode, Anil. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-72734-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

214.

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

Yazar

Marques-Silva, João. editor. Sakallah, Karem A. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-72788-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

215.

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

Yazar

Duparc, Jacques. editor. Henzinger, Thomas A. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

216.

Logica Universalis Towards a General Theory of Logic

Yazar

Beziau, Jean-Yves. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-7643-8354-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

217.

The Arché Papers on the Mathematics of Abstraction

Yazar

Cook, Roy T. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4020-4265-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

218.

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:

219.

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:

220.

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:

221.

Passione per Trilli Alcune idee dalla matematica

Yazar

Lucchetti, Roberto. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

222.

104 Number Theory Problems From the Training of the USA IMO Team

Yazar

Andreescu, Titu. author. Andrica, Dorin. author. Feng, Zuming. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

223.

A Beginner’s Guide to Graph Theory

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

224.

The Legacy of Mario Pieri in Geometry and Arithmetic

Yazar

Marchisotto, Elena Anne. author. Smith, James T. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

225.

Number Theory An Introduction via the Distribution of Primes

Yazar

Fine, Benjamin. author. Rosenberger, Gerhard. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

226.

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:

227.

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:

228.

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:

229.

Logic Colloquium 2005

Yazar

Dimitracopoulos, Costas. Newelski, Ludomir. Normann, Dag. Steel, John R..

Yer Numarası

ONLINE

Elektronik Erişim

Access by subscription

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

230.

The Strength of Nonstandard Analysis

Yazar

Berg, Imme. editor. Neves, Vítor. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-211-49905-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

231.

Ernst Zermelo An Approach to His Life and Work

Yazar

Ebbinghaus, Heinz-Dieter. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-49553-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

232.

Handbook of dynamic system modeling

Yazar

Fishwick, Paul A.

Yer Numarası

QA76.9 .C65 H345 2007

Elektronik Erişim

Click here to view.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

233.

Theorems, corollaries, lemmas, and methods of proof

Yazar

Rossi, Richard J., 1956-

Yer Numarası

ONLINE

Elektronik Erişim

Ebook Library Click here to view book
John Wiley http://dx.doi.org/10.1002/9781118031575
Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0741/2006041609-b.html
http://site.ebrary.com/lib/alltitles/Doc?id=10503020

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

234.

Commonsense reasoning

Yazar

Mueller, Erik T.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

235.

A logical Approach to Philosophy Essays in Honour of Graham Solomon

Yazar

Devidi, David. Kenyon, Tim. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/1-4020-4054-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

236.

Cambridge and Vienna Frank P. Ramsey and the Vienna Circle

Yazar

Galavotti, Maria Carla. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/1-4020-4101-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

237.

The Age of Alternative Logics Assessing Philosophy of Logic and Mathematics Today

Yazar

Benthem, Johan. Heinzmann, Gerhard. Rebuschi, Manuel. Visser, Henk. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4020-5012-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

238.

Techniques of Constructive Analysis

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-0-387-38147-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

239.

Problems and Theorems in Classical Set Theory

Yazar

Komjáth, Péter. author. Totik, Vilmos. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

240.

The Congruences of a Finite Lattice A Proof-by-Picture Approach

Yazar

Grätzer, George. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

241.

More Sets, Graphs and Numbers A Salute to Vera Sós and András Hajnal

Yazar

Győri, Ervin. Katona, Gyula O. H. Lovász, László. Fleiner, Tamás. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

242.

Théorie des ensembles

Yazar

Bourbaki, N. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

243.

Axiom of Choice

Yazar

Herrlich, Horst. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11601562

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

244.

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

Yazar

Lau, Dietlinde. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

245.

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

Yazar

Ésik, Zoltán. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11874683

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

246.

Notes on Set Theory

Yazar

Moschovakis, Yiannis. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

247.

Tracking reason proof, consequence, and truth

Yazar

Azzouni, Jody.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

248.

Finite Model Theory

Yazar

Ebbinghaus, Heinz-Dieter. author. Flum, Jörg. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

249.

Parameterized Complexity Theory

Yazar

Flum, Jörg. author. Grohe, Martin. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/3-540-29953-X

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

250.

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

Yazar

Biere, Armin. editor. Gomes, Carla P. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11814948

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

251.

Set Theory Centre de Recerca Matemàtica Barcelona, 2003–2004

Yazar

Bagaria, Joan. editor. Todorcevic, Stevo. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/3-7643-7692-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

252.

Thinking about acting logical foundations for rational decision making

Yazar

Pollock, John L.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

253.

Mathematics and common sense : a case of creative tension

Yazar

Davis, Philip J., 1923, author.

Yer Numarası

QA9.2 .D38 2006

Elektronik Erişim

Click here to view.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

254.

18 Unconventional Essays on the Nature of Mathematics

Yazar

Hersh, Reuben. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/0-387-29831-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

255.

Logically determined design clockless system design with NULL convention logic

Yazar

Fant, Karl M.

Yer Numarası

ONLINE

Elektronik Erişim

Click for information
Available by subscription from Safari Books Online
John Wiley http://dx.doi.org/10.1002/0471702897
MyiLibrary, Table of contents http://www.myilibrary.com?id=25243&ref=toc
Volltext http://proquest.tech.safaribooksonline.de/9780471684787

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

256.

The Big Typescript, TS. 213

Yazar

Wittgenstein, Ludwig, 1889-1951. Luckhardt, C. Grant, 1943- Aue, Maximilian. Wiley InterScience (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0802/2004030873-b.html
John Wiley http://dx.doi.org/10.1002/9780470752906

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

257.

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

Yazar

Hoos, Holger H. editor. Mitchell, David G. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11527695

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

258.

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

Yazar

Ong, Luke. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11538363

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

259.

Laws of Nature

Yazar

Mittelstaedt, Peter. Weingartner, Paul A. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/3-540-28303-X

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

260.

A Modern Perspective on Type Theory From its Origins until Today

Yazar

Kamareddine, Fairouz. author. Laan, Twan. author. Nederpelt, Rob. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

261.

Visualization, Explanation and Reasoning Styles in Mathematics

Yazar

Mancosu, Paolo. editor. Jørgensen, Klaus Frovin. editor. Pedersen, Stig Andur. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/1-4020-3335-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

262.

Propositional and Predicate Calculus A Model of Argument

Yazar

Goldrei, Derek. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/1-84628-229-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

263.

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/b138352

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

264.

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

Yazar

Hutter, Dieter. editor. Stephan, Werner. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b106663

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

265.

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

Yazar

Middeldorp, Aart. editor. Oostrom, Vincent. editor. Raamsdonk, Femke. editor. Vrijer, Roel. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11601548

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

266.

Essays in Constructive Mathematics

Yazar

Edwards, Harold M. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b138656

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

267.

Scenario Logic and Probabilistic Management of Risk in Business and Engineering

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/1-4020-2978-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

268.

Trends in Continuum Mechanics of Porous Media

Yazar

Boer, Reint. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/1-4020-3144-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

269.

Phenomenology, Logic, and the Philosophy of Mathematics

Yazar

Tieszen, Richard.

Yer Numarası

ONLINE

Elektronik Erişim

Access by subscription

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

270.

Rippling: Meta-Level Guidance for Mathematical Reasoning

Yazar

Bundy, Alan. Basin, David. Hutter, Dieter. Ireland, Andrew.

Yer Numarası

ONLINE

Elektronik Erişim

Access by subscription

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

271.

Categories for Software Engineering

Yazar

Fiadeiro, José Luiz. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b138249

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

272.

Introduction to Modern Number Theory Fundamental Problems, Ideas and Theories

Yazar

Manin, Yuri Ivanovic. author. Panchishkin, Alexei A. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/3-540-27692-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

273.

Valued Fields

Yazar

Engler, Antonio J. author. Prestel, Alexander. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/3-540-30035-X

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

274.

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

Yazar

Bacchus, Fahiem. editor. Walsh, Toby. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b137280

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

275.

Logica Universalis Towards a General Theory of Logic

Yazar

Beziau, Jean-Yves. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b137041

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

276.

Business economics and finance with MATLAB, GIS and simulation models

Yazar

Anderson, Patrick L., author.

Yer Numarası

HD30.22 .A53 2005

Elektronik Erişim

Click here to view.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

277.

Adapting Proofs-as-Programs The Curry-Howard Protocol

Yazar

Poernomo, Iman Hafiz. author. Wirsing, Martin. author. Crossley, John Newsome. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

278.

Charles S. Peirce zur Einführung

Yazar

Pape, Helmut.

Yer Numarası

B945.P44 P347 2004

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

279.

Logic and structure

Yazar

Dalen, D. van.

Yer Numarası

QA 9 D16 2004

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

280.

Önermeler mantığı :

Yazar

Nesin, Ali.

Yer Numarası

QA 270 .N476 2004

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

281.

Linear Logic in Computer Science

Yazar

Ehrhard, Thomas. Girard, Jean-Yves. Ruet, Paul. Scott, Philip.

Yer Numarası

ONLINE

Elektronik Erişim

Access by subscription

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

282.

Dynamical systems and control

Yazar

Udwadia, F. E. Weber, H. (Hans) Leitmann, George. International Workshop on Dynamics and Control (11th : 2000 : Rio de Janeiro, Brazil)

Yer Numarası

QA845 .D93 2004

Elektronik Erişim

Click here to view.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

283.

Sayısal devrelerde mantıksal tasarım

Yazar

Yarımağan, Ünal.

Yer Numarası

TK7888.4 Y37 2003

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

284.

A first course in fuzzy and neural control

Yazar

Nguyen, Hung T., 1944-

Yer Numarası

QA76.9 .S63 F57 2003

Elektronik Erişim

Click here to view.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

285.

Handbook of the logic of argument and inference the turn towards the practical

Yazar

Gabbay, Dov M., 1945-

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

286.

Develerle eşekler :

Yazar

Nesin, Ali. Akgül, Tayfun, karikatür.

Yer Numarası

QA 270 .N474 2002

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

287.

$Modelling, simulation and control of non-linear dynamical systems : an intelligent approach using soft computing and fractal theory için kapak resmi$

Modelling, simulation and control of non-linear dynamical systems : an intelligent approach using soft computing and fractal theory

Yazar

Melin, Patricia, 1962, author. Castillo, Oscar, 1959-

Yer Numarası

QA427 .M45 2002

Elektronik Erişim

Click here to view.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

288.

Logic-based methods for optimization combining optimization and constraint satisfaction

Yazar

Hooker, John, 1949- Wiley InterScience (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

Wiley InterScience An electronic book accessible through the World Wide Web; click for information
Contributor biographical information http://catdir.loc.gov/catdir/bios/wiley043/99088732.html

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

289.

Learning to reason an introduction to logic, sets and relations

Yazar

Rodgers, Nancy, 1941-

Yer Numarası

ONLINE

Elektronik Erişim

Wiley InterScience An electronic book accessible through the World Wide Web; click for information
Ebook Library Click here to view book
Contributor biographical information http://catdir.loc.gov/catdir/bios/wiley043/00023492.html
ebrary http://site.ebrary.com/id/10500922
http://site.ebrary.com/lib/alltitles/Doc?id=10500922

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

290.

From Peirce to Skolem a neglected chapter in the history of logic

Yazar

Brady, Geraldine.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

291.

Sembolik mantık el kitabı

Yazar

Grünberg, Teo.

Yer Numarası

BC 135 G969 2000 V.2

Format:

Durum

Beytepe Kütüphanesi~2

Rafta:
Kopya:

292.

The logic of knowledge bases

Yazar

Levesque, Hector J., 1951- Lakemeyer, Gerhard.

Yer Numarası

ONLINE

Elektronik Erişim

IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267409

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

293.

Between Logic and Intuition Essays in Honor of Charles Parsons

Yazar

Sher, Gila. Tieszen, Richard.

Yer Numarası

ONLINE

Elektronik Erişim

Access by subscription

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

294.

Optimization methods for logical inference

Yazar

Chandru, Vijay, 1953- Hooker, John, 1949-

Yer Numarası

ONLINE

Elektronik Erişim

Wiley InterScience An electronic book accessible through the World Wide Web; click for information
Ebook Library Click here to view book
Contributor biographical information http://catdir.loc.gov/catdir/bios/wiley042/98044622.html

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

295.

Ones and zeros understanding Boolean algebra, digital circuits, and the logic of sets

Yazar

Gregg, John.

Yer Numarası

ONLINE

Elektronik Erişim

IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5263072

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

296.

Elements of the theory of computation

Yazar

Lewis, Harry R. Papadimitriou, Christos H.

Yer Numarası

QA267 .L49 1998

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

297.

Logic of mathematics a modern course of classical logic

Yazar

Adamowicz, Zofia. Zbierski, Paweł. Wiley InterScience (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

Wiley InterScience An electronic book accessible through the World Wide Web; click for information
Ebook Library Click here to view book
Contributor biographical information http://catdir.loc.gov/catdir/bios/wiley042/95020818.html

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

298.

Admissibility of logical inference rules

Yazar

Rybakov, Vladimir V. (Vladimir Vladimir), 1961-

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

299.

Handbook of logic and language

Yazar

Benthem, Johan van, 1949- Meulen, Alice G. B. ter.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

300.

Principles of logic and logic programming

Yazar

Metakides, George, 1945- Nerode, Anil, 1932- Sinachopoulos, A. (Aneta)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

	{displayName}	{count}
{error}