Search Results for Logic.

Skip to:Search Results

|

|

|

|

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

13

Search Field

Target Value

Limit Value

Restriction Value

Search For:

Advanced Search

Limit Search Results

Narrowed by:

+

Material Type: E-Book

+

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)

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)

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)

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)

Subject

Logic, Symbolic and mathematical.

(16)

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)

(1)

Economics/Management Science.

(1)

Electronic data processing.

(1)

(1)

Information theory.

(1)

Logic, Symbolic and mathematical -- Congresses.

(1)

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

(1)

Management information systems.

(1)

(1)

Mathematical physics.

(1)

Methodology -- Congresses.

(1)

Science -- Philosophy -- Congresses.

(1)

Science -- Philosophy.

(1)

(1)

Telecommunication.

(1)

(1)

Shelf Location

Electronic Library

Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

32 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 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:

3.

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:

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 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:

6.

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:

7.

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:

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 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:

11.

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:

12.

Cover image for Logikkalküle in der Informatik Wie wird Logik vom Rechner genutzt?

Logikkalküle in der Informatik Wie wird Logik vom Rechner genutzt?

Logikkalküle in der Informatik Wie wird Logik vom Rechner genutzt?

Author

Schenke, Michael. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(338349.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-8348-2295-6

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11