Search Results for Logic.

|

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

8

Search Field

Target Value

Limit Value

Restriction Value

Search For:

Advanced Search

Limit Search Results

Narrowed by:

+

Language: German

Author

SpringerLink (Online service)

(30)

Deiser, Oliver. author.

(3)

Hoffmann, Dirk W. author.

(3)

Priese, Lutz. author.

(2)

Academia Republicii Socialiste România.

(1)

Albrecht, Erhard.

(1)

Asser, Günter.

(1)

Baumann, Christian. author.

(1)

Böckenhauer, Hans-Joachim. author.

(1)

Börger, E. (Egon), 1946-

(1)

Dietrich, Manfred. editor.

(1)

Drengner, Jan. author.

(1)

Décaillot, Anne-Marie. author.

(1)

Erk, Katrin. author.

(1)

Ewald, William. editor.

(1)

Funk, Christian. author.

(1)

Hausdorff, Felix. author.

(1)

Hromkovic, Juraj. author.

(1)

International Congress for Logic, Methodology, and Philosophy of Science (4th : 1971 : Bucharest, Romania)

(1)

International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science.

(1)

Kemnitz, Günter. author.

(1)

Kondakov, N. I. (Nikolaĭ Ivanovich)

(1)

Kröger, Fred, 1945-

(1)

Küchlin, Wolfgang. author.

(1)

Liebig, Hans. author.

(1)

Lienig, Jens. author.

(1)

Lienig, Jens. editor.

(1)

Lippe, Wolfram-Manfred. author.

(1)

Melle, Ullrich. editor.

(1)

Nebel, Markus. author.

(1)

Noll, Patrick. author.

(1)

Oberle, Daniel. author.

(1)

(1)

Raabe, Oliver. author.

(1)

Rollinger, Robin. editor.

(1)

Schenke, Michael. author.

(1)

Schindler, Ralf. author.

(1)

Sieg, Wilfried. editor.

(1)

Suppes, Patrick, 1922-

(1)

Tapp, Christian. author.

(1)

Wacker, Richard. author.

(1)

Weber, Andreas. author.

(1)

Wiedemann, Simon M. author.

(1)

Wimmel, Harro. author.

(1)

Zeidler, Eberhard. editor.

(1)

Ziegler, Martin. author.

(1)

Zimmermann, Rainer E. author.

(1)

Language

(2)

(1)

(1)

Publication Date

-

(8)

(4)

(4)

(3)

(3)

(3)

(2)

(2)

(1)

(1)

(1)

(1)

(1)

(1)

Subject

Logic, Symbolic and mathematical.

(17)

Computer science.

(14)

(13)

(9)

Computer simulation.

(4)

(4)

Software engineering.

(4)

Computer software.

(3)

(3)

Global analysis (Mathematics).

(3)

Systems engineering.

(3)

(2)

Data structures (Computer science).

(2)

(2)

Mathematics_$xHistory.

(2)

(2)

(2)

Philosophy (General).

(2)

(1)

Computable functions.

(1)

Computational complexity.

(1)

Computer aided design.

(1)

Computer vision.

(1)

Computers -- Law and legislation.

(1)

(1)

ELEKTRONİK SAYISAL BİLGİSAYARLAR -- PROGRAMLAMA.

(1)

(1)

Economics/Management Science.

(1)

Electronic data processing.

(1)

(1)

Information theory.

(1)

Logic -- Dictionaries -- German.

(1)

Logic, Symbolic and mathematical -- Congresses.

(1)

Logic, Symbolic and mathematical -- Congresses. Methodology -- Congresses. Science -- Philosophy -- Congresses.

(1)

MANTIK, SEMBOLİK VE MATEMATİKİ.

(1)

Management information systems.

(1)

Mantık -- Sözlükler -- Alman.

(1)

(1)

Mathematical physics.

(1)

Methodology -- Congresses.

(1)

Peirce, Charles S. (Charles Sanders), 1839-1914.

(1)

(1)

(1)

Science -- Philosophy -- Congresses.

(1)

Science -- Philosophy.

(1)

(1)

(1)

Telecommunication.

(1)

(1)

Material Type

Shelf Location

Beytepe General Collection

Electronic Library

Prof.Dr.Onur Bilge Kulak Collection

Library

Beytepe Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

35 Results Found

Subscribe to search results

1 2 3

000000000000DEFAULT

Print

Select a list

Make this your default list.

The following items were successfully added.

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

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

1.

Cover image for Computability, complexity, logic

Computability, complexity, logic

Computability, complexity, logic

Author

Börger, E. (Egon), 1946-

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Temporal logic of programs

Temporal logic of programs

Temporal logic of programs

Author

Kröger, Fred, 1945-

Preferred Shelf Number

QA 76.6 K753 1987

Format:

Availability

Beytepe Library~1

Available:
Copies:

3.

Cover image for Logic, methodology and philosophy of science IV proceedings of the Fourth International congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971

Logic, methodology and philosophy of science IV proceedings of the Fourth International congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971

Logic, methodology and philosophy of science IV proceedings of the Fourth International congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971

Author

International Congress for Logic, Methodology, and Philosophy of Science (4th : 1971 : Bucharest, Romania) Suppes, Patrick, 1922- International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science. Academia Republicii Socialiste România.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

4.

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

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

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

Author

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

Preferred Shelf Number

ONLINE(336850.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for Markenkommunikation mit Sport Wirkungsmodell für die Markenführung aus Sicht der Service-Dominant Logic

Markenkommunikation mit Sport Wirkungsmodell für die Markenführung aus Sicht der Service-Dominant Logic

Markenkommunikation mit Sport Wirkungsmodell für die Markenführung aus Sicht der Service-Dominant Logic

Author

Drengner, Jan. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(338483.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-8349-4198-5

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Statistisches Matching mit Fuzzy Logic Theorie und Anwendungen in Sozial- und Wirtschaftswissenschaften

Statistisches Matching mit Fuzzy Logic Theorie und Anwendungen in Sozial- und Wirtschaftswissenschaften

Statistisches Matching mit Fuzzy Logic Theorie und Anwendungen in Sozial- und Wirtschaftswissenschaften

Author

Noll, Patrick. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-8348-9586-8

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Soft-Computing mit Neuronalen Netzen, Fuzzy-Logic und Evolutionären Algorithmen

Soft-Computing mit Neuronalen Netzen, Fuzzy-Logic und Evolutionären Algorithmen

Soft-Computing mit Neuronalen Netzen, Fuzzy-Logic und Evolutionären Algorithmen

Author

Lippe, Wolfram-Manfred. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Grenzen der Mathematik Eine Reise durch die Kerngebiete der mathematischen Logik

Grenzen der Mathematik Eine Reise durch die Kerngebiete der mathematischen Logik

Grenzen der Mathematik Eine Reise durch die Kerngebiete der mathematischen Logik

Author

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

Preferred Shelf Number

ONLINE(337115.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for 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

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

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

Author

Zeidler, Eberhard. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(337476.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

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

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

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

Author

Tapp, Christian. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(336968.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Formale Sprachen Endliche Automaten, Grammatiken, lexikalische und syntaktische Analyse

Formale Sprachen Endliche Automaten, Grammatiken, lexikalische und syntaktische Analyse

Formale Sprachen Endliche Automaten, Grammatiken, lexikalische und syntaktische Analyse

Author

Böckenhauer, Hans-Joachim. author. Hromkovic, Juraj. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(337578.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-658-00725-6

Format:

Availability

Online Library~1

Available:
Copies:

12.

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

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

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

Author

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

Preferred Shelf Number

ONLINE(338283.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11