Search

Image from Google Jackets

Normal view MARC view ISBD view

Natural Deduction, Hybrid Systems and Modal Logics

Contributor(s): Indrzejczak, Andrzej., authorMaterial type:

Computer file

Computer fileLanguage: English Publication details: Dordrecht Springer Netherlands 2010. ISBN: 9789048187850, 978-90-481-8785-0Subject(s): Logic, Symbolic and mathematical | Algorithms | Algorithms | Artificial intelligence | Artificial Intelligence (incl. Robotics) | Computer science | Logic | Logic | Mathematical Logic and Formal Languages | Mathematical Logic and Foundations | Philosophy | Philosophy (General)DDC classification: 160, Online resources: Click here to access online

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings ( 1 )
Title notes ( 1 )
Comments ( 0 )

Holdings
Item type	Current library	Call number	Status	Date due	Barcode
E(electronic)-Books	NISER LIBRARY	160, 23 (Browse shelf(Opens below))	Available		E2651

Mathematics and Statistics (Springer-11649)

There are no comments on this title.

to post a comment.

© 2024 Copyright: Customised and Maintained by Central Library NISER

Central Library, NISER Library Building, PO-Jatni, Khurda, Odisha - 752050, India | ✉Email: libniser@niser.ac.in ☎Phone: +91-674-2494171

Powered by Koha