Artykuł w czasopiśmie
Brak miniatury
Licencja
Dostęp zamkniętyProperty Invariant Embedding for Automated Reasoning
Autor
Data publikacji
2020
Dyscyplina PBN
informatyka
Tom
325
Strony od-do
1395--1402
Link do źródła
Licencja otwartego dostępu
Dostęp zamknięty