Parametry wyszukiwania: autor = Krzysztof Krawiec, rodzaj = wszystkie rodzaje, jednostka = wszystkie jednostki organizacyjne, rozprawy doktorskie z lat 1960 - 2024, sortowanie według = daty obrony rozprawy doktorskiej od najnowszej
Wyniki wyszukiwania (9)
1.
Machine Learning and Formal Verification for Acquisition of Knowledge in Heuristic Program Synthesis
Rozprawa doktorska
Rozprawa doktorska
Rozprawa doktorska
Rozprawa doktorska
Rozprawa doktorska
Rozprawa doktorska
Rozprawa doktorska
Rozprawa doktorska
Rozprawa doktorska
System tworzony przez Politechnikę Poznańską
oraz Poznańskie Centrum Superkomputerowo-Sieciowe
Zaloguj się przez eKonto, aby dodać do SIN