Search Results for Mathematics

Skip to:Search Results

|

|

|

|

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

24

Search Field

Target Value

Limit Value

Restriction Value

Search For:

Advanced Search

Limit Search Results

Narrowed by:

+

Subject: Logic, Symbolic and mathematical

Author

Mendelson, Elliott

(5)

Copi, Irving M.

(4)

Keisler, H. Jerome

(3)

Rood, Harold J.

(3)

Sim, Alex Tze Hiang

(3)

Slisenko, A. O.

(3)

(3)

(2)

(2)

(2)

Curry, Haskell Brooks

(2)

Enderton, Herbert B.

(2)

Hogger, Christopher John

(2)

Jacquette, Dale

(2)

Leblanc, Hugues, 1924-

(2)

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

(2)

Open University. Mathematics Foundation Course Team

(2)

Posthoff, Christian

(2)

Ramsey, Frank Plumpton

(2)

(2)

(2)

SpringerLink (Online service)

(2)

Steinbach, Bernd

(2)

Stoll, Robert Roth

(2)

(2)

Wolf, Robert S.

(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)

Aiserman, Mark A.

(1)

American Mathematical Society

(1)

Antoniou, Grigoris

(1)

Armstrong, James W.

(1)

(1)

Bakker, Jaco de

(1)

Barnes, Donald W.

(1)

(1)

(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)

(1)

Braithwaite, Richard Bevan

(1)

Brassard, Gilles

(1)

Bridges, Douglas S.

(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)

Clarke, Michael

(1)

(1)

Constable, Robert L.

(1)

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

(1)

(1)

Crossley, John N.

(1)

Culberston, James Thomas

(1)

Dalen, D. van (Dirk), 1932-

(1)

(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)

Ebbinghaus, Heinz-Dieter

(1)

(1)

Epstein, Richard L., 1947-

(1)

Ercegovaca, Irene

(1)

Felscher, Walter

(1)

(1)

(1)

Fitting, Melvin, 1942-

(1)

(1)

Forster, Thomas

(1)

(1)

Gallier, Jean H.

(1)

Galton, Anthony

(1)

(1)

Garson, James W., 1943-

(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)

Griffiths, Hubert Brian

(1)

(1)

Hackworth, Robert D.

(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)

Henson, Martin C.

(1)

(1)

(1)

Hilton, Peter John

(1)

Hinman, Peter G.

(1)

(1)

(1)

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

(1)

Howland, Joseph W.

(1)

IEEE Computer Society

(1)

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

(1)

Jeffrey, Richard

(1)

Jeffrey, Richard C.

(1)

Jeroslow, Robert G.

(1)

Jorgensen, Klaus Frovin

(1)

(1)

(1)

Kilmister, C. W. (Clive William)

(1)

Klenk, Virginia

(1)

Kneebone, G. T.

(1)

Korfhage, Robert R.

(1)

Kowalski, Robert

(1)

(1)

(1)

Kroger, Fred, 1945-

(1)

Kuczkowski, Joseph E.

(1)

(1)

(1)

Langholz, Gideon

(1)

(1)

Lee, Char-Tung, Richard

(1)

Leeuwen, J. van (Jan), author

(1)

Levitz, Hilbert

(1)

Levitz, Kathleen

(1)

Lewis, Harry R.

(1)

Lightstone, A. H.

(1)

Ligozat, Gérard

(1)

Lipschutz, Seymour

(1)

Luschei, Eugene C.

(1)

Lynch, Edward P.

(1)

Machover, Moshe

(1)

(1)

Maehara, Shōji

(1)

(1)

(1)

Manaster, Alfred B.

(1)

(1)

(1)

(1)

(1)

(1)

(1)

Mat Rofa Ismail, editor

(1)

Menzier-Trott, Eckart

(1)

(1)

Meulen, Alice Ter

(1)

(1)

Mittlestaedt, Peter

(1)

Mohamed Awang Lah

(1)

Monk, James Donald

(1)

Montaque, Richard

(1)

Mostowski, Andrzej

(1)

Munroe, M. Evans (Marshall Evans), 1918-

(1)

National Semiconductor

(1)

Neelavany Marimuthu

(1)

(1)

Nievergelt, Yves

(1)

Niwiński, Damian

(1)

(1)

O'Connor, D. J.

(1)

O'Donnell, Michael J.

(1)

Ohmer, Merlin M.

(1)

Oliveira, Suely

(1)

Onyszkiewicz, Janusz

(1)

Orenstein, Alex

(1)

Language

(201)

(8)

(1)

(1)

(1)

Format

(217)

(5)

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

(19)

Mathematics -- Philosophy

(12)

Computer science -- Mathematics

(9)

Mathematics -- 1961-

(9)

(8)

Electronic digital computers -- Programming

(6)

(5)

Algebra, Abstract

(4)

(4)

(4)

(4)

(3)

Algebra, Boolean

(3)

(3)

(3)

(3)

Semantics (Philosophy)

(3)

Structured programming

(3)

Arithmetic -- Foundations

(2)

Automatic theorem proving

(2)

Binary systems (Mathematics)

(2)

(2)

Formal languages

(2)

(2)

Infinitary languages

(2)

Logic programming

(2)

(2)

(2)

Predicate calculus

(2)

Programming (Electronic computers)

(2)

Programming languages (Electronic computers) -- Semantics

(2)

(2)

Recursive functions

(2)

(2)

Switching theory

(2)

Abstract data types (Computer science)

(1)

(1)

Aggregates (Building materials)

(1)

Algebraic logic

(1)

Arithemetic -- Foundations

(1)

Artificial intelligence

(1)

Artificial intelligence -- Methodology

(1)

(1)

Carbon, Activated

(1)

Cardinal numbers

(1)

Categories (Mathematics)

(1)

(1)

Chemical engineering -- Mathematics

(1)

Chromatographic analysis -- Apparatus and supplies

(1)

Combinatorial analysis

(1)

Computable functions

(1)

Computable functions.

(1)

Computational complexity

(1)

Computer programming

(1)

Computer programs -- Correctness

(1)

Computer programs -- Testing

(1)

Computer science

(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)

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)

Functional analysis

(1)

Functional programming (Computer science)

(1)

Geometry, Algebraic

(1)

Global analysis (Mathematics)

(1)

(1)

Intuitionistic mathematics

(1)

Knowledge, Theory of.

(1)

Lambda calculus

(1)

Language and languages -- Philosophy

(1)

Lasers in physics

(1)

(1)

Mathematical analysis

(1)

Mathematical models

(1)

Mathematical physics

(1)

Mathematical recreations

(1)

Mathematicians -- Correspondence, reminiscences, etc.

(1)

Mathematicians -- Germany -- Biography

(1)

Mathematicians -- Great Britain -- Biography

(1)

Modality (Logic)

(1)

Natural language processing (Computer science)

(1)

Natural products in agriculture

(1)

Nonstandard mathematical analysis

(1)

Numbers, Natural

(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)

Proposition (Logic)

(1)

Propositional calculus

(1)

Qualitative reasoning

(1)

Radiation dosimetry

(1)

Radioactivity -- Measurement

(1)

Recursion theory

(1)

(1)

(1)

(1)

Semantics -- Mathematical models

(1)

Sequential machine theory

(1)

Space and time -- Mathematical models

(1)

Spatial analysis (Statistics)

(1)

(1)

(1)

(1)

(1)

Turing, Alan Mathison, 1912-1954

(1)

Uncertainty (Information theory)

(1)

Utility theory -- Mathematical models

(1)

(1)

Water -- Analysis

(1)

(1)

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

228 Results Found

Subscribe to search results

1 .. 4 5 6 7 8 .. 19

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.

61.

Cover image for Elements of logical reasoning

Elements of logical reasoning

by

Von Plato, Jan author

Author

Von Plato, Jan author

Format:

Call Number

QA9 V66 2013

Publisher

Cambridge Univ Pr.,

Publication Date

2013

ISBN

9781107036598 9781107610774

Available:
Holds:
Copies:

SD_ILS:831808

62.

Cover image for What logics mean : from proof theory to model-theoretic semantics

What logics mean : from proof theory to model-theoretic semantics

by

Garson, James W., 1943-

Author

Garson, James W., 1943-

Format:

Call Number

BC71 G37 2013

Publisher

Cambridge University Press,

Publication Date

2013

ISBN

9781107039100

Available:
Holds:
Copies:

SD_ILS:832857

63.

Cover image for Word and object

Word and object

by

Quine, W. V. (Willard Van Orman), author

Author

Quine, W. V. (Willard Van Orman), author

Format:

Call Number

B840 Q56 2013

Edition

New edition

Publisher

MIT Press,

Publication Date

2013

ISBN

9780262518314

Available:
Holds:
Copies:

SD_ILS:841893

64.

Cover image for Introduction to mathematical logic

Introduction to mathematical logic

by

Walicki, Michał

Author

Walicki, Michał

Format:

Call Number

QA9 W354 2012

Publisher

World Scientific,

Publication Date

2012

ISBN

9789814343862 9789814343879

Available:
Holds:
Copies:

SD_ILS:815691

65.

Cover image for Qualitative spatial and temporal reasoning

Qualitative spatial and temporal reasoning

by

Ligozat, Gérard

Author

Ligozat, Gérard

Format:

Call Number

Q339.25 L544 2012

Publisher

ISTE ; Wiley,

Publication Date

2012

ISBN

9781848212527

Available:
Holds:
Copies:

SD_ILS:785375

66.

Cover image for Discrete structures with contemporary applications

Discrete structures with contemporary applications

by

Stanoyevitch, Alexander

Author

Stanoyevitch, Alexander

Format:

Call Number

QA76.9.M35 S73 2011

Publisher

CRC Press,

Publication Date

2011

ISBN

9781439817681

Available:
Holds:
Copies:

SD_ILS:763936

67.

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

68.

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

69.

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

70.

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

71.

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

72.

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

1 .. 4 5 6 7 8 .. 19

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