Search Results for Logic, Symbolic and mathematical.

|

|

|

|

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:

+

Publication Date: 2011

Author

SpringerLink (Online service)

(35)

(2)

Ditmarsch, Hans. editor.

(2)

Gupta, Amitabha. editor.

(2)

Lucchetti, Roberto. editor.

(2)

van Benthem, Johan. editor.

(2)

Albeverio, Sergio. author.

(1)

Astola, Jaakko. author.

(1)

Baaz, Matthias. author.

(1)

Bartocci, Claudio. editor.

(1)

Benthem, J. F. A. K. van, 1949-

(1)

Betti, Renato. editor.

(1)

Black, Max, 1909-

(1)

Blackburn, Patrick. editor.

(1)

Bloch, Ethan D. author.

(1)

Boutelle, Anthony.

(1)

Braithwaite, Richard Bevan, ed.

(1)

Braüner, Torben. author.

(1)

Bridges, Douglas S. author.

(1)

Brodie, Helen Charlotte, 1915-

(1)

Carnap, Rudolf, 1891-1970.

(1)

Casari, E. editor.

(1)

Chwistek, Leon, 1884-

(1)

Ciliberto, Ciro. editor.

(1)

Clarke, Peter. editor.

(1)

(1)

Daepp, Ulrich. author.

(1)

Dalen, Dirk. author.

(1)

DeVidi, David. editor.

(1)

Décaillot, Anne-Marie. author.

(1)

Fan, Ruzong. author.

(1)

Fisher, Michael, 1962-

(1)

Gabbay, Dov M. author.

(1)

Gibilisco, Stan.

(1)

Gillibert, Pierre. author.

(1)

Goldblatt, Robert.

(1)

Golińska Pilarek, Joanna. author.

(1)

Gorkin, Pamela. author.

(1)

Granström, Johan Georg. author.

(1)

Guerraggio, Angelo. editor.

(1)

Hallett, Michael. editor.

(1)

Herzberg, Frederik. author.

(1)

Hitzler, Pascal.

(1)

Hoffmann, Dirk W. author.

(1)

Hopkins, Burt C.

(1)

Ju, Shier. editor.

(1)

Kaiser, Łukasz. author.

(1)

Kanazawa, Makoto. editor.

(1)

Kennedy, Juliette.

(1)

Kornai, András. editor.

(1)

(1)

Kowalski, Robert.

(1)

Kracht, Marcus. editor.

(1)

Krantz, Steven G. author.

(1)

Lang, Jérôme. editor.

(1)

Lascar, Daniel, 1942- ort. yaz.

(1)

Leitsch, Alexander. author.

(1)

Linsky, Bernard.

(1)

Lolli, G. editor.

(1)

Löwe, Benedikt. editor.

(1)

Mangani, P. editor.

(1)

Manzano, María. editor.

(1)

Meulen, Alice G. B. ter.

(1)

Mundici, D. author.

(1)

Mundici, Daniele. author.

(1)

Normann, Dag. editor.

(1)

Ong, Luke. editor.

(1)

Orlowska, Ewa. author.

(1)

Pacuit, Eric. editor.

(1)

Parikh, Rohit. editor.

(1)

(1)

Ramsey, Frank Plumpton, 1903-1930.

(1)

Schlechta, Karl. author.

(1)

(1)

Seki, Hiroyuki. editor.

(1)

Skof, Fulvia. editor.

(1)

Soifer, Alexander. author.

(1)

Soler-Toscano, Fernando. editor.

(1)

Sommaruga, Giovanni. editor.

(1)

Soskov, Ivan. editor.

(1)

Soskova, Alexandra. editor.

(1)

Stanković, Radomir S. author.

(1)

Tieszen, Richard L.

(1)

Tieszen, Richard L., author.

(1)

Vîţă, Luminiţa Simona. author.

(1)

Wehrung, Friedrich. author.

(1)

Weinberg, Julius Rudolf, 1908-

(1)

Ye, Feng. author.

(1)

van Benthem, Johan.

(1)

Language

(51)

(2)

(2)

Subject

Logic, Symbolic and mathematical.

(51)

(21)

Computer science.

(16)

(11)

MANTIK, SEMBOLİK VE MATEMATİKİ.

(6)

Mathematics -- Philosophy.

(6)

Philosophy (General).

(6)

Algebra -- Data processing.

(5)

(4)

Artificial intelligence.

(4)

(4)

Science -- Philosophy.

(4)

Information theory.

(3)

MATEMATİK -- FELSEFE.

(3)

(3)

Analysis (Philosophy) -- Problems, exercises, etc.

(2)

Computational complexity.

(2)

Distribution (Probability theory).

(2)

Genetic epistemology.

(2)

Global analysis (Mathematics).

(2)

(2)

Law -- Examinations, questions, etc.

(2)

Law School Admission Test -- Study guides.

(2)

Law schools -- United States -- Entrance examinations -- Study guides.

(2)

Logic, Symbolic and mathematical -- Problems, exercises, etc.

(2)

Logical positivism.

(2)

MANTIKSAL POZİTİVİZM.

(2)

MATHEMATICS / Logic.

(2)

Mathematics_$xHistory.

(2)

(2)

(2)

Test-taking skills.

(2)

(2)

Universities and colleges -- Graduate work -- Examinations -- Study guides.

(2)

(1)

(1)

BİLİM -- YÖNTEMBİLİM.

(1)

(1)

Communication -- Philosophy.

(1)

Computational intelligence.

(1)

Computer software.

(1)

Critical thinking.

(1)

Economics, Mathematical.

(1)

(1)

Electronic books.

(1)

Electronic data processing.

(1)

Engineering mathematics.

(1)

(1)

(1)

Induction (Logic)

(1)

(1)

Kunstmatige intelligentie.

(1)

Logic programming.

(1)

Logic, Symbolic and mathematical -- Famous problems.

(1)

(1)

MATHEMATICS / General

(1)

(1)

Modality (Logic)

(1)

Natural language processing (Computer science)

(1)

Numerical analysis.

(1)

Philosophy, modern.

(1)

Predicate (Logic)

(1)

Programming languages (Electronic computers) -- Semantics.

(1)

Proposition (Logic)

(1)

RUSSELL, BERTRAND, 1872-1970. Principia mathematica.

(1)

Rhetoric -- Mathematics.

(1)

Science -- History.

(1)

Science -- Methodology.

(1)

Science -- Study and teaching.

(1)

Semantics (Philosophy)

(1)

(1)

Systems engineering.

(1)

Temporal automata.

(1)

Variables (Mathematics)

(1)

WHITEHEAD, ALFRED NORTH, 1861-1947. Principia mathematica.

(1)

Material Type

Shelf Location

Beytepe General Collection

Electronic Library

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

55 Results Found

Subscribe to search results

1 2 3 4 5

0000000DEFAULT

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.

49.

Cover image for Reading, Writing, and Proving A Closer Look at Mathematics

Reading, Writing, and Proving A Closer Look at Mathematics

Reading, Writing, and Proving A Closer Look at Mathematics

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

50.

Cover image for Computational logic and human thinking how to be artificially intelligent

Computational logic and human thinking how to be artificially intelligent

Computational logic and human thinking how to be artificially intelligent

Author

Kowalski, Robert.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

51.

Cover image for Mathematical aspects of logic programming semantics

Mathematical aspects of logic programming semantics

Mathematical aspects of logic programming semantics

Author

Hitzler, Pascal. Seda, Anthony.

Preferred Shelf Number

ONLINE

Electronic Access

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Availability

Online Library~1

Available:
Copies:

52.

Cover image for McGraw-Hill's conquering LSAT logic games

McGraw-Hill's conquering LSAT logic games

McGraw-Hill's conquering LSAT logic games

Author

Curvebreakers.

Preferred Shelf Number

ONLINE

Electronic Access

Subscription required

Format:

Availability

Online Library~1

Available:
Copies:

53.

Cover image for McGraw-Hill's LSAT

McGraw-Hill's LSAT

McGraw-Hill's LSAT

Author

Curvebreakers.

Preferred Shelf Number

ONLINE

Electronic Access

Subscription required

Format:

Availability

Online Library~1

Available:
Copies:

54.

Cover image for Logic demystified

Logic demystified

Logic demystified

Author

Boutelle, Anthony. Gibilisco, Stan.

Preferred Shelf Number

ONLINE

Electronic Access

Subscription required

Format:

Availability

Online Library~1

Available:
Copies:

55.

Cover image for An introduction to practical formal methods using temporal logic

An introduction to practical formal methods using temporal logic

An introduction to practical formal methods using temporal logic

Author

Fisher, Michael, 1962-

Preferred Shelf Number

ONLINE

Electronic Access

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:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4 5

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11