Search Results for Logic

|

|

|

|

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:

+

Subject: Logic programming

Author

(9)

(3)

Tucker, Allen B.

(3)

McCord, Michael C

(2)

Salisu Musa Borodo, 1987-

(2)

Abe, Jair Minoro

(1)

(1)

Apt, Krzysztof R., 1949-

(1)

Baldwin, J. F. (James Frederick), 1938-

(1)

Beierle, Christoph

(1)

Besnard, Philippe

(1)

Bhattacharya, Alakananda

(1)

(1)

Das, Subrata Kumar

(1)

Deransart, Pierre

(1)

(1)

Fakulti Komputeran

(1)

Fakulti Sains Komputer dan Sistem Maklumat

(1)

(1)

Farrell, Joyce, author

(1)

Farrell, Joyce1, author

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

Hitzler, Pascal

(1)

Ho, Irene Sheau Fen, 1981-

(1)

International Workshop on Natural Language Understanding and Logic Programming (2nd : 1987 : Vancouver)

(1)

Jackson, Peter, 1948-

(1)

(1)

Kersting, Kristian

(1)

(1)

(1)

Kriwaczek, Frank

(1)

Lazarev, Gregory L.

(1)

(1)

Lloyd, J. W. (John Wylie), 1947-

(1)

(1)

(1)

Maluszynski, Jan

(1)

Mandal, Ajit K.

(1)

(1)

(1)

(1)

(1)

Nur Bahiyah Sujana

(1)

Pilsworth, B. W.

(1)

(1)

Raedt, Luc de, 1964-

(1)

(1)

Roventa, Eugene

(1)

Safaai Deris, supervisor

(1)

Saint-Dizier, Patrick

(1)

(1)

(1)

Silva Filho, João Inácio da

(1)

Smith, Jo Ann, author

(1)

Spencer-Smith, Richard

(1)

Spircu, Tiberiu

(1)

Stuckey, Peter J.

(1)

Takeuchi, Akikazu

(1)

Torres, Germano Lambert

(1)

Tsai, Jeffery J. P.

(1)

Universiti Utara Malaysia. Fakulti Teknologi Maklumat

(1)

Van Harmelen, Frank

(1)

Wallace, M. 1955-

(1)

Wan Ahmad Tajuddin Wan Abdullah

(1)

Wan Hussain Wan Ishak

(1)

(1)

(1)

(1)

Language

(56)

(3)

Format

(56)

(4)

Visual Materials

(2)

Material Type

Closed Access Thesis

Computer File Accompanies Open Access Book

Non Circulating Microfilm

Non Circulating UTM Archive - Audio Visual

Open Access Book

Open Access Computer File

UTM Special Collection - Computer File

Subject

(12)

PROLOG (Computer program language)

(7)

Artificial intelligence

(5)

Object-oriented programming (Computer science)

(3)

Parallel programming (Computer science)

(3)

Problem solving -- Data processing

(3)

(3)

C++ (Computer program language)

(2)

Constraint programming (Computer science)

(2)

Expert systems (Computer science)

(2)

(2)

Genetic algorithms

(2)

Logic, Symbolic and mathematical

(2)

Machine learning

(2)

Production scheduling -- Computer programs

(2)

Programming languages (Electronic computers) -- Semantics

(2)

Uncertainty (Information theory)

(2)

Universities and colleges -- Timetables -- Data processing

(2)

Algebraic logic

(1)

Artificial intelligence -- Data processing

(1)

Artificial intelligence -- Simulation methods

(1)

Computable functions.

(1)

Computer arithmetic

(1)

Computer science -- Mathematics

(1)

(1)

Construction management -- Data processing

(1)

(1)

Data encryption (Computer science)

(1)

(1)

Data structures (Computer science)

(1)

Decision support systems

(1)

Deductive databases

(1)

Electronic data processing -- Distributed processing

(1)

Grammar, Comparative and general -- Coordinate constructions

(1)

Java (Computer program language)

(1)

Linear programming -- Data processing

(1)

Linguistics -- Data processing

(1)

(1)

Markov processes

(1)

Multiprocessors

(1)

PARLOG (Computer program language)

(1)

Pascal (Computer program language)

(1)

(1)

Programmable controllers

(1)

Programming languages (Electronic computers)

(1)

Project management -- Data processing

(1)

Prolog (Computer program language)

(1)

Prolog++ (Computer program language)

(1)

Relational databases

(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

62 Results Found

Subscribe to search results

1 2 3 4 5 6

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 Constructing logic programs

Constructing logic programs

by

Jacquet, J. M.

Author

Jacquet, J. M.

Format:

Call Number

QA76.63 C66 1993

Publisher

John Wiley & Sons,

Publication Date

1993

ISBN

9780471937890

Available:
Holds:
Copies:

SD_ILS:277610

2.

Cover image for Parallel logic programming

Parallel logic programming

by

Takeuchi, Akikazu

Author

Takeuchi, Akikazu

Format:

Call Number

QA76.642 T34 1992

Publisher

John Wiley,

Publication Date

1992

ISBN

9780471578017

Available:
Holds:
Copies:

SD_ILS:147137

3.

Cover image for Logic and prolog

Logic and prolog

Logic and prolog

by

Spencer-Smith, Richard

Author

Spencer-Smith, Richard

Format:

Call Number

QA76.63 S63 1991

Publisher

Harvester Wheatsheaf,

Publication Date

1991

ISBN

9780745010229

Available:
Holds:
Copies:

SD_ILS:106709

4.

Cover image for Programming logic and design

Programming logic and design

by

Farrell, Joyce

Author

Farrell, Joyce

Format:

Call Number

CP 016469

Publisher

Delmar Learning,

Publication Date

2009 2008

ISBN

9781439078587

Available:
Holds:
Copies:

SD_ILS:597963

5.

Cover image for Logic for computer scientists

Logic for computer scientists

by

Schoning, Uwe

Author

Schoning, Uwe

Format:

Call Number

QA9 S36 2008

Publisher

Birkh�auser,

Publication Date

2008

ISBN

9780817647629

Available:
Holds:
Copies:

SD_ILS:352127

6.

Cover image for Algebraic and logic programming

Algebraic and logic programming

by

Grabowski, J.

Author

Grabowski, J., Lescanne, P., Wechler, W.

Format:

Call Number

QA10 A43 1988

Publisher

Springer-Verlag,

Publication Date

1988

ISBN

9783540506676

Available:
Holds:
Copies:

SD_ILS:182719

7.

Cover image for Logic programming : new frontiers

Logic programming : new frontiers

by

Brough, D. R.

Author

Brough, D. R.

Format:

Call Number

QA76.63 L64 1992

Publisher

Kluwer Academic Pub,

Publication Date

1992

ISBN

9780792325468

Available:
Holds:
Copies:

SD_ILS:461058

8.

Cover image for Logic-based knowledge representation

Logic-based knowledge representation

by

Jackson, Peter, 1948-

Author

Jackson, Peter, 1948-, Reichgelt, Han, Van Harmelen, Frank

Format:

Call Number

QA76.76.E95 J34 1989

Publisher

MIT Pr.,

Publication Date

1989

ISBN

9780262100380

Available:
Holds:
Copies:

SD_ILS:180552

9.

Cover image for Foundations of logic programming

Foundations of logic programming

by

Lloyd, J. W. (John Wylie), 1947-

Author

Lloyd, J. W. (John Wylie), 1947-

Format:

Call Number

QA76.6 L564 1987

Publisher

Springer-Verlag,

Publication Date

1987

ISBN

9780387181998

Available:
Holds:
Copies:

SD_ILS:288801

10.

Cover image for Deductive databases and logic programming

Deductive databases and logic programming

Deductive databases and logic programming

by

Das, Subrata Kumar

Author

Das, Subrata Kumar

Format:

Call Number

QA76.9.D32 D37 1992

Publisher

Addison-Wesley,

Publication Date

1992

ISBN

9780201568974

Available:
Holds:
Copies:

SD_ILS:350129

11.

Cover image for Logic programming : systematic program development

Logic programming : systematic program development

by

Deville, Yves

Author

Deville, Yves

Format:

Call Number

QA76.63 D48 1990

Publisher

Addison-Wesley,

Publication Date

1990

ISBN

9780201175769

Available:
Holds:
Copies:

SD_ILS:89096

12.

Cover image for PROGRAMMING LOGIC AND DESIGN, COMPREHENSIVE

PROGRAMMING LOGIC AND DESIGN, COMPREHENSIVE

by

Farrell, Joyce1, author

Author

Farrell, Joyce1, author

Format:

Call Number

QA76.63 F37 2018

Publication Date

2018

ISBN

9781337102070

Available:
Holds:
Copies:

SD_ILS:873245

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4 5 6

© 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