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:

Search the catalog by keyword

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 'ccl=su:"Mathematical logic"'

Refine your search

Availability
- Limit to records with available items
Authors
Topics

Your search returned 16 results.

Sort

Sort by:

Unhighlight Highlight

Select all Clear all

Select titles to:

Public lists

Wine Tech Book List

New list

New tag: (done)

Tag status here.

Results

1.

Amazon cover image

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

Article

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.

Amazon cover image

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

Article

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.

Amazon cover image

Image from Amazon.com

Foundations of Software Science and Computation Structures : 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings by

Bojańczyk, Mikołaj [edt]
Simpson, Alex [edt]
Bojańczyk, Mikołaj [oth]
Simpson, Alex [oth]

Material type: Article

Article

Article

Language: English

Publication details: Springer Nature 2019

Online resources:

DOAB: download the publication
DOAB: description of the publication

Availability: No items available.

Place hold Log in to add tags Save to lists

4.

Chapter Dynamic Dispatch for Method Contracts Through Abstract Predicates by

Mostowski, Wojciech [auth]
Ulbrich, Mattias [auth]

Material type: Article

Article

Article

Language: English

Publication details: Springer Nature 2017

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

5.

Amazon cover image

Image from Amazon.com

Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II by

Chockler, Hana [edt]
Weissenbacher, Georg [edt]
Chockler, Hana [oth]
Weissenbacher, Georg [oth]

Material type: Article

Article

Article

Language: English

Publication details: Springer Nature 2018

Online resources:

DOAB: download the publication
DOAB: description of the publication

Availability: No items available.

Place hold Log in to add tags Save to lists

6.

Amazon cover image

Image from Amazon.com

Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I by

Vojnar, Tomáš [edt]
Zhang, Lijun [edt]
Vojnar, Tomáš [oth]
Zhang, Lijun [oth]

Material type: Article

Article

Article

Language: English

Publication details: Springer Nature 2019

Online resources:

DOAB: download the publication
DOAB: description of the publication

Availability: No items available.

Place hold Log in to add tags Save to lists

7.

Amazon cover image

Image from Amazon.com

The Everyday Life of an Algorithm by

Neyland, Daniel [auth]

Material type: Article

Article

Article

Language: English

Publication details: Cham Springer Nature 2019

Online resources:

DOAB: download the publication
DOAB: description of the publication

Availability: No items available.

Place hold Log in to add tags Save to lists

8.

Amazon cover image

Image from Amazon.com

Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I by

Chockler, Hana [edt]
Weissenbacher, Georg [edt]
Chockler, Hana [oth]
Weissenbacher, Georg [oth]

Material type: Article

Article

Article

Language: English

Publication details: Springer Nature 2018

Online resources:

DOAB: download the publication
DOAB: description of the publication

Availability: No items available.

Place hold Log in to add tags Save to lists

9.

Amazon cover image

Image from Amazon.com

Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II by

Dillig, Isil [edt]
Tasiran, Serdar [edt]
Dillig, Isil [oth]
Tasiran, Serdar [oth]

Material type: Article

Article

Article

Language: English

Publication details: Springer Nature 2019

Online resources:

DOAB: download the publication
DOAB: description of the publication

Availability: No items available.

Place hold Log in to add tags Save to lists

10.

Amazon cover image

Image from Amazon.com

Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III by

Beyer, Dirk [edt]
Huisman, Marieke [edt]
Kordon, Fabrice [edt]
Steffen, Bernhard [edt]
Beyer, Dirk [oth]
Huisman, Marieke [oth]
Kordon, Fabrice [oth]
Steffen, Bernhard [oth]

Material type: Article

Article

Article

Language: English

Publication details: Springer Nature 2019

Online resources:

DOAB: download the publication
DOAB: description of the publication

Availability: No items available.

Place hold Log in to add tags Save to lists

11.

Amazon cover image

Image from Amazon.com

Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II by

Vojnar, Tomáš [edt]
Zhang, Lijun [edt]
Vojnar, Tomáš [oth]
Zhang, Lijun [oth]

Material type: Article

Article

Article

Language: English

Publication details: Springer Nature 2019

Online resources:

DOAB: download the publication
DOAB: description of the publication

Availability: No items available.

Place hold Log in to add tags Save to lists

12.

Amazon cover image

Image from Amazon.com

The Amazing Journey of Reason : from DNA to Artificial Intelligence by

Alemi, Mario [auth]

Material type: Article

Article

Article

Language: English

Publication details: Cham Springer Nature 2020

Online resources:

DOAB: download the publication
DOAB: description of the publication

Availability: No items available.

Place hold Log in to add tags Save to lists

13.

Amazon cover image

Image from Amazon.com

Fading Foundations : Probability and the Regress Problem by

Atkinson, David [auth]
Peijnenburg, Jeanne [auth]

Material type: Article

Article

Article

Language: English

Publication details: Springer Nature 2017

Online resources:

DOAB: download the publication
DOAB: description of the publication

Availability: No items available.

Place hold Log in to add tags Save to lists

14.

Amazon cover image

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

Article

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

15.

Amazon cover image

Image from Amazon.com

Foundations of Software Science and Computation Structures : 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings by

Goubault-Larrecq, Jean [edt]
König, Barbara [edt]
Goubault-Larrecq, Jean [oth]
König, Barbara [oth]

Material type: Article

Article

Article

Language: English

Publication details: Cham Springer Nature 2020

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

16.

Amazon cover image

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

Article

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

Powered by Koha