Your search returned 8 results.

1.

Amazon cover image

Image from Amazon.com

Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I by

Material type: Article

Article

Article

Language: English

Publication details: Springer Nature 2021

Online resources:

Availability: No items available.

2.

Amazon cover image

Image from Amazon.com

Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 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, Part I by

Material type: Article

Article

Article

Language: English

Publication details: Springer Nature 2021

Online resources:

Availability: No items available.

3.

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

Material type: Article

Article

Article

Language: English

Publication details: Springer Nature 2021

Online resources:

Availability: No items available.

4.

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

Material type: Article

Article

Article

Language: English

Publication details: Springer Nature 2021

Online resources:

Availability: No items available.

5.

Amazon cover image

Image from Amazon.com

Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II by

Material type: Article

Article

Article

Language: English

Publication details: Springer Nature 2020

Online resources:

Availability: No items available.

6.

Amazon cover image

Image from Amazon.com

Programming Languages and Systems : 29th European Symposium on Programming, ESOP 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

Material type: Article

Article

Article

Language: English

Publication details: Cham Springer Nature 2020

Online resources:

Availability: No items available.

7.

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

Material type: Article

Article

Article

Language: English

Publication details: Springer Nature 2021

Online resources:

Availability: No items available.

8.

Amazon cover image

Image from Amazon.com

Advances in Proof-Theoretic Semantics by

Material type: Article

Article

Article

Language: English

Publication details: Cham Springer Nature 2016

Online resources:

Availability: No items available.