Search Results for Computer Science.

1.

Inductive Certificate Synthesis for Control Design

by

Ravanbakhsh, Hadi, author.

http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10792462

Format:

Alıntı:

University of Colorado at Boulder. Computer Science. degree granting institution.

2.

Working material for the lectures of Gerhard Jager.

by

Jager, Gerhard

Format:

Alıntı:

Computer science.

3.

Working material for the lectures of Stan S. Wainer.

by

Wainer, Stan S.

Format:

Alıntı:

Computer science.

4.

A framework for defining logics

by

Harper, Robert

Format:

Alıntı:

Computer science.

5.

On the Logos: A Naïve View on Ordinary Reasoning and Fuzzy Logic

by

Trillas, Enric. author.

http://dx.doi.org/10.1007/978-3-319-56053-3

Format:

Alıntı:

, this book represents an inspiring read for professors and researchers in computer science, and fuzzy

6.

Logic from Russell to Church.

by

Gabbay, Dov M., 1945-

MacEwan University Access (Unlimited Concurrent Users) from ScienceDirect
ScienceDirect http://www.sciencedirect.com/science/book/9780444516206

Format:

Alıntı:

mathematics, computer science, artificial intelligence, for whom the historical background of his or her work

7.

Handbook of the history of logic. Volume 2, Mediaeval and renaissance logic

by

Gabbay, Dov M., 1945-

ScienceDirect https://www.sciencedirect.com/science/book/9780444516251
ScienceDirect https://www.sciencedirect.com/science/publication?issn=18745857&volume=2
ScienceDirect https://www.sciencedirect.com/science/handbooks/18745857/2

Format:

Alıntı:

logic, mathematics, history of mathematics, computer science and AI, linguistics, cognitive science

8.

Logic and the modalities in the twentieth century

by

Gabbay, Dov M., 1945-

ScienceDirect http://www.sciencedirect.com/science/book/9780444516220
ScienceDirect http://www.sciencedirect.com/science/publication?issn=18745857&volume=7

Format:

Alıntı:

, computer science, artificial intelligence, for whom the historical background of his or her work is a

9.

Greek, Indian, and Arabic logic

by

Gabbay, Dov M., 1945-

to access electronic resource
ScienceDirect http://www.sciencedirect.com/science/book/9780444504661
ScienceDirect http://www.sciencedirect.com/science/publication?issn=18745857&volume=1

Format:

Alıntı:

undergraduate students in logic in all its forms, argumentation theory, AI and computer science, cognitive

10.

Agenda relevance : a study in formal pragmatics

by

Gabbay, Dov M., 1945-

ScienceDirect http://www.sciencedirect.com/science/book/9780444513854
ScienceDirect http://www.sciencedirect.com/science/publication?issn=18745075&volume=1
ScienceDirect http://www.sciencedirect.com/science/bookseries/18745075/1

Format:

Alıntı:

, belief dynamics, computer science, AI, psychology and neuroscience, linguistics, argumentation theory

11.

The reach of abduction : insight and trial

by

Gabbay, Dov M., 1945-

ScienceDirect http://www.sciencedirect.com/science/book/9780444517913
ScienceDirect http://www.sciencedirect.com/science/publication?issn=18745075&volume=2

Format:

Alıntı:

coverage of the book is extensive, from the philosophy of science to computer science and AI, from

	{displayName}	{count}
{error}