Text

Automated Reasoning ( 12th International Joint Conference, IJCAR 2024 ) Nancy, France, July 3–6, 2024 Proceedings, Part II

---

Description Not Available

---

Availability

No copy data

Detail Information

Series Title

-

Call Number

-

Publisher

: Springer., 2024

Collation

-

Language

ISBN/ISSN

978-3-031-63501-4

Classification

NONE

Content Type

text

Media Type

computer

Carrier Type

online resource

Edition

-

Subject(s)

-

Specific Detail Info

-

Statement of Responsibility

Part 2

Other Information

Cataloger

Tri B

Source

-

Validator

-

Digital Object Identifier (DOI)

-

Journal Volume

-

Journal Issue

-

Subtitle

-

Parallel Title

-

Other version/related

File Attachment

Comments

---

You must be logged in to post a comment