Text

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

---

Description Not Available

---

Availability

No copy data

Detail Information

Series Title

-

Call Number

-

Publisher

: Springer., 2024

Collation

-

Language

ISBN/ISSN

978-3-031-63498-7

Classification

NONE

Content Type

text

Media Type

computer

Carrier Type

online resource

Edition

Part 1 - LNAI 14739

Subject(s)

-

Specific Detail Info

-

Statement of Responsibility

Christoph Benzmüller

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