| Judul | Automated Reasoning : 13th International Joint Conference, IJCAR 2026, Lisbon, Portugal, July 26–29, 2026, Proceedings, Part II / Biere, Armin |
| Pengarang | Biere, Armin Lutz, Carsten |
| Penerbitan | Cham : Springer, 2026 |
| Deskripsi Fisik | 380 :ilus |
| ISBN | 9783032325921 |
| Subjek | ARTIFICIAL INTELLIGENCE |
| Abstrak | This open access set, LNAI 16688-16689, constitutes the proceedings of the 13th International Joint Conference, IJCAR 2026, held in Lisbon, Portugal, during July 26–29, 2026. The 41 full research papers and 8 short papers included in these two volumes were carefully reviewed and selected from 112 submissions. The papers cover the following topical sections: Part I: Theorem Proving and Automation; SAT, SMT, and Verification; Intuitionistic, Modal, and Temporal Logics; Part II: Calculi, Proof Theory, and Decision Procedures; and Unification, Rewriting, and Computational Models. |
| Bentuk Karya | Tidak ada kode yang sesuai |
| Target Pembaca | Tidak ada kode yang sesuai |
| Lokasi Akses Online |
https://library.oapen.org/bitstream/handle/20.500.12657/117842/9783032325921.pdf?sequence=1&isAllowed=y |
| No Barcode | No. Panggil | Akses | Lokasi | Ketersediaan |
|---|---|---|---|---|
| 4645 | 511.3 Bie a | Baca Online | Perpustakaan Pusat - Online Resources Ebook |
Tersedia |
| Tag | Ind1 | Ind2 | Isi |
| 001 | INLIS000000000171272 | ||
| 005 | 20261022021516 | ||
| 007 | ta | ||
| 008 | 261022################|##########|#|## | ||
| 020 | # | # | $a 9783032325921 |
| 035 | # | # | $a 0010-1026000667 |
| 082 | # | # | $a 511.3 |
| 084 | # | # | $a 511.3 Bie a |
| 100 | 1 | # | $a Biere, Armin |
| 245 | 1 | # | $a Automated Reasoning : $b 13th International Joint Conference, IJCAR 2026, Lisbon, Portugal, July 26–29, 2026, Proceedings, Part II /$c Biere, Armin |
| 260 | # | # | $a Cham :$b Springer,$c 2026 |
| 300 | # | # | $a 380 : $b ilus |
| 520 | # | # | $a This open access set, LNAI 16688-16689, constitutes the proceedings of the 13th International Joint Conference, IJCAR 2026, held in Lisbon, Portugal, during July 26–29, 2026. The 41 full research papers and 8 short papers included in these two volumes were carefully reviewed and selected from 112 submissions. The papers cover the following topical sections: Part I: Theorem Proving and Automation; SAT, SMT, and Verification; Intuitionistic, Modal, and Temporal Logics; Part II: Calculi, Proof Theory, and Decision Procedures; and Unification, Rewriting, and Computational Models. |
| 650 | # | # | $a ARTIFICIAL INTELLIGENCE |
| 700 | 1 | # | $a Lutz, Carsten |
| 856 | # | # | $a https://library.oapen.org/bitstream/handle/20.500.12657/117842/9783032325921.pdf?sequence=1&isAllowed=y |
| 990 | # | # | $a 4645 |
Content Unduh katalog
Karya Terkait :