Treffer 1 - 2 von 2 für Suche 'San Pietro, Pierluigi', Suchdauer: 0,51s
Treffer weiter einschränken
-
1
Formal methods teaching 5th international workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, proceedings
Veröffentlicht 2023Weitere Verfasser:Signatur: Wird geladen …
Standort: Wird geladen …
VolltextElektronisch Tagungsbericht E-Book -
2
Formal methods teaching 5th international workshop, FMTea 2023, Lübeck, Germany, March 6, 2023 : proceedings
Veröffentlicht 2023Weitere Verfasser:Signatur: Wird geladen …
Standort: Wird geladen …Tagungsbericht Buch Wird geladen …
Suchwerkzeuge:
Ähnliche Schlagworte
Formale Methode
Konferenzschrift 2023 Lübeck
Mathematische Logik
Computer Application in Social and Behavioral Sciences
Control Structures and Microprogramming
Logic in AI
Logic programming
Mathematical Logic and Foundations
Mathematical logic
Microprogramming
Natural Language Processing (NLP)
Natural language processing (Computer science)
Social sciences—Data processing
Software Engineering
Software engineering