Skip to main content
Agasti Knowledge Resource Centre
Lists
Public lists
Indian Knowledge System Book List
Special/Rare Books Collection
Faculty Publications
Maharaja Sayajirao Gaikwad Special Collection
Magazines
Special Collection
Research Journals
List of Subscribed Journals
790 Sports, Yoga, Physical Education
491 / 891 Hindi Language / Hindi Literature
View all
Your lists
Log in to create your own lists
Log in to your account
Your cookies
Search history
Search the catalog by:
Library catalog
Title
Author
Subject
ISBN
ISSN
Series
Call number
Search the catalog by keyword
All libraries
BBABCABCS Library
BBABCABCS TEXT BOOK LIBRARY
Central Library
Chemistry Departmental Library
Directory of Open Access Books (DOAB)
JR COLLEGE TEXTBOOK LIBRARY
Junior College Library
Nalanda Library
Physics Departmental Library
Police Training Center
Post Graduate Library
SR COLLEGE TEXT BOOK LIBRARY
Departmental Libraries
Advanced search
Course reserves
Tag cloud
Subject cloud
Most popular
Libraries
Log in to your account
Card number or username:
Password:
Home
Advanced search
Results of search for 'su:"Mathematical Logic and Formal Languages"'
Refine your search
Availability
Limit to records with available items
Authors
Cochez, Michael
Croitoru, Madalina
Kiefer, Stefan
Marquis, Pierre
Piecha, Thomas
Platzer, André
Rudolph, Sebastian
Schroeder-Heister, P...
Sutcliffe, Geoff
Tasson, Christine
Show more
Show less
Topics
Artificial intellige...
Computer programming...
Computer science
Databases
Information retrieva...
Mathematical theory ...
Mathematics & scienc...
Network hardware
Probability & statis...
Software Engineering
Show more
Show less
Your search returned 4 results.
Sort
Sort by:
Relevance
Popularity (most to least)
Popularity (least to most)
Author (A-Z)
Author (Z-A)
Call number (0-9 to A-Z)
Call number (Z-A to 9-0)
Publication/Copyright date: Newest to oldest
Publication/Copyright date: Oldest to newest
Acquisition date: Newest to oldest
Acquisition date: Oldest to newest
Title (A-Z)
Title (Z-A)
Unhighlight
Highlight
Select all
Clear all
Select titles to:
Add to list
Public lists
Wine Tech Book List
New list
Place hold
Tag
New tag:
(done)
Tag status here.
Results
1.
Image from Amazon.com
Graph Structures for Knowledge Representation and Reasoning : 6th International Workshop, GKR 2020, Virtual Event, September 5, 2020, Revised Selected Papers
by
Cochez, Michael
[edt]
Croitoru, Madalina
[edt]
Marquis, Pierre
[edt]
Rudolph, Sebastian
[edt]
Cochez, Michael
[oth]
Croitoru, Madalina
[oth]
Marquis, Pierre
[oth]
Rudolph, Sebastian
[oth]
Material type:
Article
Language:
English
Publication details:
Springer Nature
2021
Online resources:
DOAB: download the publication
DOAB: download the publication
DOAB: description of the publication
Availability:
No items available.
Place hold
Log in to add tags
Save to lists
2.
Image from Amazon.com
Foundations of Software Science and Computation Structures : 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings
by
Kiefer, Stefan
[edt]
Tasson, Christine
[edt]
Kiefer, Stefan
[oth]
Tasson, Christine
[oth]
Material type:
Article
Language:
English
Publication details:
Springer Nature
2021
Online resources:
DOAB: download the publication
DOAB: download the publication
DOAB: description of the publication
Availability:
No items available.
Place hold
Log in to add tags
Save to lists
3.
Image from Amazon.com
Automated Deduction – CADE 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings
by
Platzer, André
[edt]
Sutcliffe, Geoff
[edt]
Platzer, André
[oth]
Sutcliffe, Geoff
[oth]
Material type:
Article
Language:
English
Publication details:
Springer Nature
2021
Online resources:
DOAB: download the publication
DOAB: download the publication
DOAB: description of the publication
Availability:
No items available.
Place hold
Log in to add tags
Save to lists
4.
Image from Amazon.com
Advances in Proof-Theoretic Semantics
by
Piecha, Thomas
[edt]
Schroeder-Heister, Peter
[edt]
Piecha, Thomas
[oth]
Schroeder-Heister, Peter
[oth]
Material type:
Article
Language:
English
Publication details:
Cham
Springer Nature
2016
Online resources:
DOAB: download the publication
DOAB: download the publication
DOAB: download the publication
DOAB: description of the publication
Availability:
No items available.
Place hold
Log in to add tags
Save to lists
