Search Results for Computer science

|

|

|

|

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:

+

Material Type: Open Access Book

+

Subject: Logic, Symbolic and mathematical

Author

Posthoff, Christian

(2)

Steinbach, Bernd

(2)

Antoniou, Grigoris

(1)

Ben-Ari, Mordechai

(1)

Benthem, Johan Van

(1)

Bjorner, D. (Dines), 1937-

(1)

Burris, Stanley N.

(1)

Clarke, Michael

(1)

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

(1)

Crossley, John N.

(1)

(1)

(1)

Gallier, Jean H.

(1)

(1)

Girard, Jean-Yves

(1)

(1)

(1)

Henson, Martin C.

(1)

Korfhage, Robert R.

(1)

Kroger, Fred, 1945-

(1)

(1)

Leeuwen, J. van (Jan), author

(1)

(1)

(1)

Meulen, Alice Ter

(1)

(1)

Nievergelt, Yves

(1)

Poernomo, Iman Hafiz

(1)

(1)

Rosen, Kenneth H.

(1)

Scheurer, Thierry

(1)

Shore, Richard A.

(1)

Sperschneider, V.

(1)

Stanoyevitch, Alexander

(1)

(1)

(1)

Wirsing, M. (Martin)

(1)

Language

(23)

Format

(24)

Subject

Computer science -- Mathematics

(9)

Binary systems (Mathematics)

(2)

(2)

Programming languages (Electronic computers) -- Semantics

(2)

(2)

(2)

Abstract data types (Computer science)

(1)

Algebra, Abstract

(1)

(1)

Artificial intelligence

(1)

Automatic theorem proving

(1)

Computable functions.

(1)

Computer science

(1)

Curry-Howard isomorphism

(1)

Data structures (Computer science)

(1)

Enigma cipher system

(1)

Expert systems (Computer science)

(1)

Functional programming (Computer science)

(1)

Lambda calculus

(1)

(1)

Logic programming

(1)

Mathematicians -- Great Britain -- Biography

(1)

(1)

Natural language processing (Computer science)

(1)

(1)

(1)

(1)

Semantics -- Mathematical models

(1)

(1)

(1)

(1)

Turing, Alan Mathison, 1912-1954

(1)

{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

24 Results Found

Subscribe to search results

1 2

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.

1.

Cover image for Logic for computer science

Logic for computer science

Logic for computer science

by

Reeves, Steve

Author

Reeves, Steve, Clarke, Michael

Format:

Call Number

QA9 R33 1990

Publisher

Addison-Wesley,

Publication Date

1990

ISBN

9780202416434

Available:
Holds:
Copies:

SD_ILS:273966

2.

Cover image for Mathematical logic in computer science

Mathematical logic in computer science

Mathematical logic in computer science

by

Domolki, B.

Author

Domolki, B., Gergely, Tamas

Format:

Call Number

QA76.7 M37 1981

Publisher

North-Holland,

Publication Date

1981

ISBN

9780444854407

Available:
Holds:
Copies:

SD_ILS:306806

3.

Cover image for Mathematical logic for computer science

Mathematical logic for computer science

by

Ben-Ari, Mordechai

Author

Ben-Ari, Mordechai

Format:

Call Number

QA9 B364 2003

Edition

2rd ed.

Publisher

Springer,

Publication Date

2003

ISBN

9781852333195

Available:
Holds:
Copies:

SD_ILS:310256

4.

Cover image for Logic for mathematics and computer science

Logic for mathematics and computer science

Logic for mathematics and computer science

by

Burris, Stanley N.

Author

Burris, Stanley N.

Format:

Call Number

QA9 B87 1998

Publisher

Prentice Hall,

Publication Date

1998

ISBN

9780132859745

Available:
Holds:
Copies:

SD_ILS:476196

5.

Cover image for Logic : a foundation for computer science

Logic : a foundation for computer science

Logic : a foundation for computer science

by

Sperschneider, V.

Author

Sperschneider, V., Antoniou, Grigoris

Format:

Call Number

QA76 S64 1993

Publisher

Addison-Wesley Pub,

Publication Date

1993

ISBN

9780201565140

Available:
Holds:
Copies:

SD_ILS:271704

6.

Cover image for Logic functions and equations : binary models for computer science

Logic functions and equations : binary models for computer science

by

Posthoff, Christian

Author

Posthoff, Christian, Steinbach, Bernd

Format:

Call Number

QA76.9.L63 P67 2004

Publisher

Springer,

Publication Date

2004

ISBN

9781402029370

Available:
Holds:
Copies:

SD_ILS:464035

7.

Cover image for Foundations of logic and mathematics : applications to computer science and cryptography

Foundations of logic and mathematics : applications to computer science and cryptography

Foundations of logic and mathematics : applications to computer science and cryptography

by

Nievergelt, Yves

Author

Nievergelt, Yves

Format:

Call Number

QA9 N54 2002

Publisher

Birkh�auser,

Publication Date

2002

ISBN

9780817642495

Available:
Holds:
Copies:

SD_ILS:347193

8.

Cover image for Logic for computer science : foundations of automatic theorem proving

Logic for computer science : foundations of automatic theorem proving

by

Gallier, Jean H.

Author

Gallier, Jean H.

Format:

Call Number

QA76.9.A96 G34 1986

Publisher

Harper & Row,

Publication Date

1986

ISBN

9780060422257

Available:
Holds:
Copies:

SD_ILS:173647

9.

Cover image for Adapting proofs-as-programs : the curry - howard protocol

Adapting proofs-as-programs : the curry - howard protocol

by

Poernomo, Iman Hafiz

Author

Poernomo, Iman Hafiz, Crossley, John N., Wirsing, M. (Martin)

Format:

Call Number

QA9.54 P64 2005

Publisher

Springer,

Publication Date

2005

ISBN

9780387237596

Available:
Holds:
Copies:

SD_ILS:384300

10.

Cover image for Foundations of computing : system development with set theory and logic

Foundations of computing : system development with set theory and logic

Foundations of computing : system development with set theory and logic

by

Scheurer, Thierry

Author

Scheurer, Thierry

Format:

Call Number

QA76.9.S88 S33 1994

Publisher

Addison-Wesley,

Publication Date

1994

ISBN

9780201544299

Available:
Holds:
Copies:

SD_ILS:410372

11.

Cover image for Logic for applications

Logic for applications

by

Nerode, Anil

Author

Nerode, Anil, Shore, Richard A.

Format:

Call Number

QA76.9.M35 N47 1997

Publisher

Springer-Verlag,

Publication Date

1997

ISBN

9780387948935

Available:
Holds:
Copies:

SD_ILS:459468

12.

Cover image for Logics of specification languages

Logics of specification languages

by

Bjorner, D. (Dines), 1937-

Author

Bjorner, D. (Dines), 1937-, Henson, Martin C.

Format:

Call Number

QA76.7 L63 2008

Publisher

Springer-Verlag,

Publication Date

2008

ISBN

9783540741060

Available:
Holds:
Copies:

SD_ILS:254593

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2

© 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