Search Results for Logic, Modern.

9 Results Found

000000000DEFAULT

The rise of modern logic from Leibniz to Frege

Author

Gabbay, Dov M., 1945- Woods, John (John Hayden)

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444516114

Format:

Availability

Online Library~1

Available:
Copies:

Kantian reason and Hegelian spirit the idealistic logic of modern theology

Author

Dorrien, Gary J. Wiley InterScience (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

Wiley InterScience An electronic book accessible through the World Wide Web; click for information

Format:

Availability

Online Library~1

Available:
Copies:

From Boolean Logic to Switching Circuits and Automata Towards Modern Information Technology

Author

Stanković, Radomir S. author. Astola, Jaakko. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-11682-7

Format:

Availability

Online Library~1

Available:
Copies:

Logic of mathematics a modern course of classical logic

Author

Adamowicz, Zofia. Zbierski, Paweł. Wiley InterScience (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

Wiley InterScience An electronic book accessible through the World Wide Web; click for information
Ebook Library Click here to view book
Contributor biographical information http://catdir.loc.gov/catdir/bios/wiley042/95020818.html

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Machine Intelligence and Emerging Technologies First International Conference, MIET 2022, Noakhali, Bangladesh, September 23-25, 2022, Proceedings, Part II

Machine Intelligence and Emerging Technologies First International Conference, MIET 2022, Noakhali, Bangladesh, September 23-25, 2022, Proceedings, Part II

Author

Satu, Md. Shahriare. editor. (orcid) Moni, Mohammad Ali. editor. Kaiser, M. Shamim. editor. Arefin, Mohammad Shamsul. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520459.1)

Electronic Access

https://doi.org/10.1007/978-3-031-34622-4

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part II

Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part II

Author

Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520840.1)

Electronic Access

https://doi.org/10.1007/978-3-031-30820-8

Format:

Availability

Online Library~1

Available:
Copies:

Hybrid Dynamical Systems : Modeling, Stability, and Robustness.

Author

Goebel, Rafal. Sanfelice, Ricardo G. Teel, Andrew R.

Preferred Shelf Number

ONLINE

Electronic Access

http://www.jstor.org/stable/10.2307/j.ctt7s02z

Format:

Availability

Online Library~1

Available:
Copies:

The logician and the engineer : how George Boole and Claude Shannon created the information age

Author

Nahin, Paul J.

Preferred Shelf Number

ONLINE

Electronic Access

http://www.jstor.org/stable/10.2307/j.cttq957s

Format:

Availability

Online Library~1

Available:
Copies:

Mathematical aspects of logic programming semantics

Author

Hitzler, Pascal. Seda, Anthony.

Preferred Shelf Number

ONLINE

Electronic Access

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Availability

Online Library~1

Available:
Copies:

	{displayName}	{count}
{error}