> Detailanzeige

Konev, Boris [HerausgeberIn]; Schon, Claudia [HerausgeberIn]; Steen, Alexander [HerausgeberIn] ; Workshop on Practical Aspects of Automated Reasoning 8. 2022 Haifa

PAAR 2022: Practical Aspects of Automated Reasoning 2022 : proceedings of the Workshop on Practical Aspects of Automated Reasoning, co-located with the 11th International Joint Conference on Automated Reasoning (FLoC/IJCAR 2022) : Haifa, Israel, August, 11-12, 2022

Literatur-
verwaltung

Zur
Merkliste

Lösche von
Merkliste

Per Whatsapp teilen

Schließen

Merkliste



Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
  • Medientyp: E-Book; Konferenzbericht
  • Titel: PAAR 2022: Practical Aspects of Automated Reasoning 2022 : proceedings of the Workshop on Practical Aspects of Automated Reasoning, co-located with the 11th International Joint Conference on Automated Reasoning (FLoC/IJCAR 2022) : Haifa, Israel, August, 11-12, 2022
  • Weitere Titel: Abweichender Titel: PAAR'22: 8th Workshop on Practical Aspects of Automated Reasoning, August 11-12, 2022, Haifa, Israel
  • Beteiligte: Konev, Boris [HerausgeberIn]; Schon, Claudia [HerausgeberIn]; Steen, Alexander [HerausgeberIn]
  • Erschienen: [Aachen, Germany]: [RWTH Aachen], 2022-08-31
  • Erschienen in: CEUR workshop proceedings ; 3201
  • Umfang: 1 Online-Ressource; Illustrationen
  • Sprache: Englisch
  • Identifikator:
  • Schlagwörter: Konferenzschrift
  • Entstehung:
  • Anmerkungen: Literaturangaben
  • Zugangsstatus: Freier Zugang
  • Rechte-/Nutzungshinweise: Namensnennung (CC BY)