Verfasser Suchresultate :: Subito Katalog

1

Genetic Algorithm for Program Synthesis

von Nagashima, Yutaka
Veröffentlicht in FSEN (10. : 2023 : Teheran; Online) Fundamentals of software engineering (2023)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

Simple Dataset for Proof Method Recommendation in Isabelle/HOL

von Nagashima, Yutaka
Veröffentlicht in CICM (13. : 2020 : Online) Intelligent computer mathematics (2020)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
3

Definitional Quantifiers Realise Semantic Reasoning for Proof by Induction

von Nagashima, Yutaka
Veröffentlicht in TAP (16. : 2022 : Nantes) Tests and proofs (2022)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
4

Template-Based Conjecturing for Automated Induction in Isabelle/HOL

von Nagashima, Yutaka
Veröffentlicht in FSEN (10. : 2023 : Teheran; Online) Fundamentals of software engineering (2023)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in: