Search Results for Logic, Symbolic and mathematical

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

Author

SpringerLink (Online service)

(7)

Mendelson, Elliott

(5)

Copi, Irving M.

(4)

(3)

Keisler, H. Jerome

(3)

Leblanc, Hugues, 1924-

(3)

Lipschutz, Seymour

(3)

Rood, Harold J.

(3)

Sim, Alex Tze Hiang

(3)

Slisenko, A. O.

(3)

(3)

(3)

Arruda, Ayda I.

(2)

(2)

(2)

Bridges, Douglas S.

(2)

Bukstein, Edward

(2)

(2)

(2)

Curry, Haskell Brooks

(2)

Enderton, Herbert B.

(2)

FOSSACS 2007 (2007 : Braga, Portugal)

(2)

(2)

Hodges, Wilfrid

(2)

Hogger, Christopher John

(2)

IEEE Computer Society

(2)

Jacquette, Dale

(2)

Liebeck, M. W. (Martin W.), 1954-

(2)

Mostowski, Andrzej

(2)

Open University. Mathematics Foundation Course Team

(2)

Posthoff, Christian

(2)

Ramsey, Frank Plumpton

(2)

(2)

(2)

(2)

(2)

Steinbach, Bernd

(2)

Stoll, Robert Roth

(2)

Wolf, Robert S.

(2)

Yates, C. M. E.

(2)

Zaidatun Tasir, 1972-

(2)

(2)

Abdul Latif Ahmad

(1)

Abdul Latif Allah Pitchy

(1)

(1)

Ackermann, Wilhelm

(1)

Adamowicz, Zofia

(1)

(1)

(1)

(1)

(1)

Aiserman, Mark A.

(1)

American Mathematical Society

(1)

Anshakov, O. M.

(1)

Antoniou, Grigoris

(1)

Armstrong, James W.

(1)

(1)

Asian Logic Conference (6th. : 1996 : Beijing, China)

(1)

Bakker, Jaco de

(1)

Barnes, Donald W.

(1)

(1)

(1)

Baumgartner, Peter

(1)

Beckman, Frank S.

(1)

Bell, John Lane

(1)

Ben-Ari, Mordechai

(1)

(1)

Benthem, Johan Van

(1)

Beziau, Jean-Yves

(1)

Biswas, Nripendra Nath, 1928-

(1)

Bittinger, Marvin L.

(1)

Bjorner, D. (Dines), 1937-

(1)

(1)

(1)

Braithwaite, Richard Bevan

(1)

Brassard, Gilles

(1)

Brazilian Conference on Mathematical Logic (1977 : States University of Campinas, Brazil)

(1)

Bucur, Ionel, 1930-1976

(1)

Burris, Stanley N.

(1)

Cameron, Peter J. (Peter Jephson), 1947-

(1)

(1)

Causey, Robert L.

(1)

(1)

Chang, Chin-Ling

(1)

Che Moh Che Soh

(1)

Chong, C. T. (Chi-Tat), 1949-

(1)

Chong, C.-T. (Chi-Tat), 1949- editor

(1)

(1)

Clarke, Michael

(1)

(1)

Conference in Mathematical Logic (1970 : Bedford College, London)

(1)

Conference on Alternative Semantics (1970 : Temple University)

(1)

Conference on Intuitionism and Proof Theory (1968 : State University of New York, Buffalo, New York)

(1)

Constable, Robert L.

(1)

Cooper, S. B. (S. Barry), author

(1)

(1)

Crossley, John N.

(1)

Culberston, James Thomas

(1)

Da Costa, N. C. A.

(1)

Dalen, D. van (Dirk), 1932-

(1)

(1)

Davis, Philip J., 1923-

(1)

De Alcantara, Luiz Paulo

(1)

De la Higuera, Colin

(1)

(1)

Deschamps, Jean-Pierre, 1945-

(1)

Dickmann, M. A.

(1)

(1)

(1)

(1)

(1)

ETAPS 2007 (2007 : Braga, Portugal)

(1)

(1)

Ebbinghaus, Heinz-Dieter

(1)

(1)

Epstein, Richard L., 1947-

(1)

Ercegovaca, Irene

(1)

Felscher, Walter

(1)

Fenstad, Jens Erik

(1)

(1)

Fitch, Frederic B

(1)

Fitting, Melvin, 1942-

(1)

(1)

Forster, Thomas

(1)

FroCoS 2007 (2007 : Liverpool, England)

(1)

(1)

Gallier, Jean H.

(1)

Galton, Anthony

(1)

Garson, James W., 1943-

(1)

Gergely, T. (Tamás)

(1)

(1)

Gersting, Judith L.

(1)

Ginsburg, Seymour

(1)

Girard, Jean-Yves

(1)

(1)

Givant, Steven R.

(1)

(1)

(1)

Goodstein, R. L. (Reuben Louis)

(1)

Grandy, Richard E.

(1)

Greenstein, Carol Horn

(1)

Griffiths, Hubert Brian

(1)

(1)

Hackworth, Robert D.

(1)

(1)

Hallerberg, Arthur Edward

(1)

(1)

Halpern, Joseph Y., 1953-

(1)

Hamilton, A. G.

(1)

Hamilton, Alan G.

(1)

Hamilton, Peter Seth

(1)

Harnadek, Anita

(1)

(1)

Hehner, Eric C. R.

(1)

(1)

Hellerstein, N. S.

(1)

(1)

Henson, Martin C.

(1)

(1)

(1)

Hilton, Peter John

(1)

Hinman, Peter G.

(1)

(1)

(1)

Holldobler, Steffen, 1957-

(1)

Hooker, C. A. (Clifford Alan), 1942-

(1)

Howland, Joseph W.

(1)

International Conference on Automated Deduction (21st : 2007 : Bremen, Germany)

(1)

International Conference on Discreta Mathematics and Theoretical Computer Science on Combinatorics, Complexity, and Logic (1st : 1996 : Auckland, New Zealand)

(1)

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

(1)

International Congress of Logic, Methodology and Philosophy Science (7th : 1983 : Salzburg, Austria)

(1)

International Congress of Logic, Methodology, and Philosophy of Science (9th : 1991 : Uppsala, Sweden)

(1)

International Summer Institute and Logic Colloquium (1974 : University of Kiel)

(1)

International Symposium on Methodologies for Intelligent Systems (4th : 1989 : Charlotte, N.C.)

(1)

International Symposium on Multiple-Valued Logic, 5th, Indiana University, May 13-16, 1975

(1)

International Symposium on Uniformly Structured Automata and Logic (1975 : Tokyo)

(1)

International Symposium on the Theory of Models, Berkeley, California, 1963

(1)

International Workshop on Theorem Proving with Analytic Tableaux and Related Methods (4th : 1995 : St Goar, Germany)

(1)

Jeffrey, Richard

(1)

Jeffrey, Richard C.

(1)

Jeroslow, Robert G.

(1)

Jorgensen, Klaus Frovin

(1)

(1)

(1)

(1)

(1)

Kilmister, C. W. (Clive William)

(1)

(1)

Klenk, Virginia

(1)

Kneebone, G. T.

(1)

(1)

Korfhage, Robert R.

(1)

Kowalski, Robert

(1)

(1)

(1)

Kroger, Fred, 1945-

(1)

Kuczkowski, Joseph E.

(1)

(1)

(1)

Langholz, Gideon

(1)

Language

(250)

(8)

(1)

(1)

(1)

(1)

Format

(266)

(10)

Visual Materials

(4)

Continuing Resources

(2)

Material Type

Closed Access Thesis

Computer File Accompanies Open Access Book

Electronic Book

Non Circulating Microfilm

Non Circulating UTM Archive - Audio Visual

Non Circulating UTM Special Collection Materials

Open Access Book

Open Access Computer File

Subject

Logic, Symbolic and mathematical

(228)

Logic, Symbolic and mathematical -- Congresses

(31)

(19)

Mathematics -- Philosophy

(13)

Computer science -- Mathematics

(9)

Mathematics -- 1961-

(9)

(8)

Electronic digital computers -- Programming

(6)

(6)

(5)

(5)

Algebra, Abstract

(4)

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

(4)

(4)

(4)

(4)

(3)

Algebra, Boolean

(3)

(3)

(3)

Logic, Symbolic and mathematical -- Textbooks

(3)

Semantics (Philosophy)

(3)

Structured programming

(3)

Algebra, Abstract -- Outlines, syllabi, etc.

(2)

Algebra, Boolean -- Problems, exercises, etc.

(2)

Arithmetic -- Foundations

(2)

Artificial intelligence -- Congresses

(2)

Automatic theorem proving

(2)

Binary systems (Mathematics)

(2)

Combinatorial analysis -- Outlines, syllabi, etc.

(2)

(2)

Computer software -- Development -- Congresses

(2)

Formal languages

(2)

(2)

Infinitary languages

(2)

Knowledge, Theory of.

(2)

Logic programming

(2)

Logic, Symbolic and mathematical -- Congresses.

(2)

Logic, Symbolic and mathematical -- Dictionaries

(2)

Logic, Symbolic and mathematical -- Outlines, syllabi, etc.

(2)

Logic, Symbolic and mathematical.

(2)

Logic, symbolic and mathematical -- Collected works

(2)

(2)

(2)

Number theory -- Problems, exercises, etc.

(2)

Predicate calculus

(2)

Programming (Electronic computers)

(2)

Programming languages (Electronic computers) -- Semantics

(2)

Proof theory -- Textbooks

(2)

(2)

Recursive functions

(2)

Science -- Methodology -- Congresses

(2)

Science -- Philosophy -- Congresses

(2)

(2)

Set theory -- Congresses

(2)

Switching theory

(2)

System analysis -- Congresses

(2)

Abstract data types (Computer science)

(1)

(1)

Aggregates (Building materials)

(1)

Algebra -- Congresses

(1)

Algebraic logic

(1)

Arithemetic -- Foundations

(1)

Artificial intelligence

(1)

Artificial intelligence -- Mathematics

(1)

Artificial intelligence -- Methodology

(1)

Automatic theorem proving -- Congresses

(1)

Automatic theorem proving -- Congresses.

(1)

Axiomatic set theory -- Congresses

(1)

(1)

Carbon, Activated

(1)

Cardinal numbers

(1)

Categories (Mathematics)

(1)

(1)

Chemical engineering -- Mathematics

(1)

Chromatographic analysis -- Apparatus and supplies

(1)

Cognitive science.

(1)

Combinatorial analysis

(1)

Combinatorial analysis -- Congresses

(1)

(1)

Commonsense reasoning -- Automation

(1)

Computable functions

(1)

Computable functions -- Congresses

(1)

Computable functions -- Data processing -- Congresses

(1)

Computable functions.

(1)

Computational complexity

(1)

Computational complexity -- Congresses

(1)

Computer engineering -- Congresses

(1)

Computer programming

(1)

Computer programs -- Correctness

(1)

Computer programs -- Testing

(1)

Computer science

(1)

Computer science -- Congresses.

(1)

Constructive mathematics

(1)

Curry-Howard isomorphism

(1)

Data structures (Computer science)

(1)

Decision support systems

(1)

Decision-making -- Mathematical models

(1)

Differential equations

(1)

Differential equations, Nonlinear

(1)

Digital electronics

(1)

Discoveries in science.

(1)

Electronic books

(1)

Electronic data processing

(1)

Electronic digital computers

(1)

Electronic digital computers -- Circuits

(1)

Enigma cipher system

(1)

Expert systems (Computer science)

(1)

(1)

Finite differences

(1)

First-order logic

(1)

(1)

Functional analysis

(1)

Functional programming (Computer science)

(1)

Geometry, Algebraic

(1)

Global analysis (Mathematics)

(1)

(1)

Intuitionistic mathematics

(1)

Intuitionistic mathematics -- Congresses

(1)

Knowledge, Theory of -- Congresses

(1)

Lambda calculus

(1)

Language and languages -- Philosophy

(1)

Lasers in physics

(1)

(1)

Logic -- Congresses

(1)

Logic, Symbolic and mathematical -- Collected works

(1)

Logic, Symbolic and mathematical -- Data processing

(1)

Logic, Symbolic and mathematical -- Methodology

(1)

Logic, Symbolic and mathematical -- Philosophy

(1)

Logic, Symbolic and mathematical -- Study and teaching (Primary)

(1)

Machine theory -- Congresses

(1)

Mathematical analysis

(1)

Mathematical models

(1)

Mathematical models -- Congresses

(1)

Mathematical physics

(1)

Mathematical recreations

(1)

Mathematicians -- Correspondence, reminiscences, etc.

(1)

Mathematicians -- Germany -- Biography

(1)

Mathematicians -- Great Britain -- Biography

(1)

Mathematicians -- Psychology.

(1)

Mathematics -- Philosophy -- Collected works

(1)

Mathematics -- Philosophy -- Congresses

(1)

Mathematics -- Philosophy.

(1)

Mathematics -- Study and teaching -- Collected works

(1)

Modality (Logic)

(1)

Model theory -- Congresses

(1)

Natural language processing (Computer science)

(1)

Natural products in agriculture

(1)

Nonclassical mathematical logic -- Congresses

(1)

Nonstandard mathematical analysis

(1)

Numbers, Natural

(1)

Numerical analysis -- Congresses

(1)

Optoelectronics

(1)

PL/CV (Computer program language)

(1)

(1)

(1)

(1)

(1)

Physics -- Philosophy

(1)

(1)

Probabilities -- Outlines, syllabi, etc.

(1)

Problem solving

(1)

Proof theory -- Congresses

(1)

Proposition (Logic)

(1)

Propositional calculus

(1)

Qualitative reasoning

(1)

Radiation dosimetry

(1)

Radioactivity -- Measurement

(1)

Reasoning -- Congresses

(1)

(1)

Recursion theory

(1)

(1)

(1)

(1)

Semantics -- Congresses

(1)

Semantics -- Mathematical models

(1)

Sequential machine theory

(1)

Set theory -- Study and teaching (Primary)

(1)

Space and time -- Mathematical models

(1)

Spatial analysis (Statistics)

(1)

Symbolic and mathematical

(1)

(1)

(1)

(1)

(1)

Turing, Alan Mathison, 1912-1954

(1)

Uncertainty (Information theory)

(1)

Utility theory -- Mathematical models

(1)

(1)

Water -- Analysis

(1)

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

282 Results Found

Subscribe to search results

1 2 3 4 5 .. 24

000000000000MAIN

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.

13.

Cover image for A concise introduction to pure mathematics

A concise introduction to pure mathematics

by

Liebeck, M. W. (Martin W.), 1954-

Author

Liebeck, M. W. (Martin W.), 1954-

Format:

Call Number

QA9 L534 2011

Edition

3rd ed.

Publisher

Taylor & Francis,

Publication Date

2011

ISBN

9781439835982

Available:
Holds:
Copies:

SD_ILS:749208

14.

Cover image for Granularity analysis for tutoring mathematical proofs

Granularity analysis for tutoring mathematical proofs

Granularity analysis for tutoring mathematical proofs

by

Schiller, Marvin R. G.

Author

Schiller, Marvin R. G.

Format:

Call Number

QA9.54 S24 2011

Publisher

IOS Press,

Publication Date

2011

ISBN

9781607507192

Available:
Holds:
Copies:

SD_ILS:778533

15.

Cover image for Roger Penrose : collected works

Roger Penrose : collected works

by

Penrose, Roger, author

Author

Penrose, Roger, author

Format:

Call Number

QC19.3 P46 2011 v.1

Publisher

Oxford University Press,

Publication Date

2011

ISBN

9780199219445 9780199219360 9780199219377 9780199219384 9780199219391

Available:
Holds:
Copies:

SD_ILS:782788

16.

Cover image for Cognitive reasoning : a formal approach

Cognitive reasoning : a formal approach

Cognitive reasoning : a formal approach

by

Anshakov, O. M.

Author

Anshakov, O. M., Gergely, T. (Tamás)

Format:

Call Number

QA9 A57 2010

Publisher

Springer,

Publication Date

2010

ISBN

9783540430582 9783540688754

Available:
Holds:
Copies:

SD_ILS:640567

17.

Cover image for Fundamentals of mathematics : an introduction to proofs, logic, sets, and numbers

Fundamentals of mathematics : an introduction to proofs, logic, sets, and numbers

by

Schroder, Bernd S. W. (Bernd Siegfried Walter), 1966-

Author

Schroder, Bernd S. W. (Bernd Siegfried Walter), 1966-

Format:

Call Number

QA248 S37 2010

Publisher

Wiley,

Publication Date

2010

ISBN

9780470551387

Available:
Holds:
Copies:

SD_ILS:765726

18.

Cover image for Mathematics and mathematical logic : new research

Mathematics and mathematical logic : new research

by

Milosav, Peter

Author

Milosav, Peter, Ercegovaca, Irene

Format:

Call Number

QA9 M384 2010

Publisher

Nova Science Publishers,

Publication Date

2010

ISBN

9781606928622

Available:
Holds:
Copies:

SD_ILS:767793

19.

Cover image for Introduction to mathematical logic

Introduction to mathematical logic

Introduction to mathematical logic

by

Mendelson, Elliott

Author

Mendelson, Elliott

Format:

Call Number

QA9 M44 2010

Edition

5th ed.

Publisher

CRC Press,

Publication Date

2010

ISBN

9781584888765

Available:
Holds:
Copies:

SD_ILS:749211

20.

Cover image for Diamond : a paradox logic

Diamond : a paradox logic

Diamond : a paradox logic

by

Hellerstein, N. S.

Author

Hellerstein, N. S.

Format:

Call Number

QA9 H396 2010

Edition

2nd ed.

Publisher

World Scientific,

Publication Date

2010

ISBN

9789814287135

Available:
Holds:
Copies:

SD_ILS:768040

21.

Cover image for Understanding computers' intelligence : celebrating the 100th volume of Fundamenta Informaticae in honour of Helena Rosiowa

Understanding computers' intelligence : celebrating the 100th volume of Fundamenta Informaticae in honour of Helena Rosiowa

by

Niwiński, Damian

Author

Niwiński, Damian

Format:

Call Number

QA9.2 U534 2010

Publisher

IOS Press,

Publication Date

2010

ISBN

9781607506225

Available:
Holds:
Copies:

SD_ILS:771950

22.

Cover image for Conditional and preferential logics : proof methods and theorem proving

Conditional and preferential logics : proof methods and theorem proving

by

Pozzato, Gian Luca

Author

Pozzato, Gian Luca

Format:

Call Number

QA9 P69 2010

Publisher

IOS Press,

Publication Date

2010

ISBN

9781607500940

Available:
Holds:
Copies:

SD_ILS:772556

23.

Cover image for Grammatical inference : learning automata and grammars

Grammatical inference : learning automata and grammars

Grammatical inference : learning automata and grammars

by

De la Higuera, Colin

Author

De la Higuera, Colin

Format:

Call Number

QA267.3 D4 2010

Publisher

Cambridge University Press,

Publication Date

2010

ISBN

9780521763165

Available:
Holds:
Copies:

SD_ILS:402351

24.

Cover image for Discrete structures, logic, and computability

Discrete structures, logic, and computability

by

Hein, James L.

Author

Hein, James L.

Format:

Call Number

QA76.9.M35 H45 2010

Edition

3rd ed.

Publisher

Jones and Bartlett Publishers,

Publication Date

2010

ISBN

9780763772062

Available:
Holds:
Copies:

SD_ILS:841071

1 2 3 4 5 .. 24

Go to:Search Results

|

|

© Universiti Teknologi Malaysia Libraries, 81310 UTM Johor Bahru, Johor Darul Takzim , Malaysia.

Phone: +607-5533333, Fax: +607-5572555, e-mail : PSZ-ENQUIRY@GROUPS.UTM.MY

Disclaimer : Universiti Teknologi Malaysia and UTM Libraries shall not be liable for any loss or damage caused by the usage of any information obtained from this website.
Best viewed using Google Chrome (1024 x 768).

Copyright 2017 Sirsi Corporation - Enterprise Version 5.0.0.1