| Muut nimekkeet |
Automated Deduction â CADE 28 Automated Deduction - CADE 28 |
|---|---|
| Ulkoasu |
1 online resource (655 p.) |
| Kieli |
englanti |
| Alkuteoksen kieli |
englanti |
| Huomautukset |
Description based upon print version of record. |
| Julkaisija |
Cham :
Springer International Publishing AG,
2021.
|
| Sarja | Lecture Notes in Computer Science |
| Luokitus | |
| Aiheet | |
| Muu ilmiasu |
3-030-79875-5 |
| ISBN |
3-030-79876-3 |
| Pääsy | Open access |
| Huomautus kielistä |
English |
| Hae kokoteksti | |
Sisältöä ei voida näyttää
Chat-sisältöä ei voida näyttää evästeasetusten vuoksi. Nähdäksesi sisällön sinun tulee sallia evästeasetuksista seuraavat: Chat-palveluiden evästeet.
Evästeasetukset
