Automated reasoning 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024 : proceedings, part II

Automated reasoning 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024 : proceedings, part II

Gespeichert in:
Bibliographische Detailangaben
Körperschaft: International Joint Conference on Automated Reasoning Nancy (VerfasserIn)
Weitere Verfasser: Benzmüller, Christoph (HerausgeberIn), Heule, Marijn J. H. 1979- (HerausgeberIn), Schmidt, Renate A. (HerausgeberIn)
Format: Elektronisch Tagungsbericht E-Book
Sprache:English
Veröffentlicht: Cham, Switzerland Springer [2024]
Schriftenreihe:Lecture notes in computer science. Lecture notes in artificial intelligence 14740
Schlagworte:
Artificial Intelligence
Software Engineering
Formal Languages and Automata Theory
Computer Engineering and Networks
Computer Science Logic and Foundations of Programming
Artificial intelligence
Software engineering
Machine theory
Computer engineering
Computer networks 
Computer science
Konferenzschrift > 03.07.2024-06.07.2024 > Nancy
Online-Zugang:kostenfrei
kostenfrei
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!

Wegen Wartungsarbeiten nicht verfügbar

Unser Bibliotheksverwaltungssystem ist momentan wegen Wartungsarbeiten nicht verfügbar.

Bestandes- und Verfügbarkeitsinformationen können momentan leider nicht angezeigt werden. Wir entschuldigen uns für die Umstände und stehen für weitere Fragen gerne zur Verfügung:

it.bib-wue@thws.de

Online

kostenfrei
kostenfrei

Ähnliche Einträge