Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

English (EN)·Polski (PL)·Ukraiński (UK)
Przejdź do strony domowej biblioteki Uniwersytet Ekonomiczny we Wrocławiu Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaUniwersytet Ekonomiczny we Wrocławiu

Wyszukujesz frazę ""Moore, J Strother"" wg kryterium: Autor

  Lista filtrów
Wyrównaj
Wyświetlanie 1-20 z 148
Tytuł:
Machines Reasoning About Machines: 2015
Autorzy:
Moore, J Strother
Pokaż więcej
Źródło:
Automated Technology for Verification and Analysis : 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings. 9364:4-13
Książka elektroniczna
Szczegóły
Tytuł:
Rough Diamond: An Extension of Equivalence-Based Rewriting
Autorzy:
Kaufmann, Matt
Moore, J Strother
Pokaż więcej
Źródło:
Interactive Theorem Proving : 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings. 8558:537-542
Książka elektroniczna
Szczegóły
Tytuł:
Proof Pearl: Proving a Simple Von Neumann Machine Turing Complete
Autorzy:
Moore, J Strother
Pokaż więcej
Źródło:
Interactive Theorem Proving : 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings. 8558:406-420
Książka elektroniczna
Szczegóły
Tytuł:
An ACL2 Tutorial
Autorzy:
Kaufmann, Matt
Moore, J Strother
Pokaż więcej
Źródło:
Theorem Proving in Higher Order Logics : 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings. 5170:17-21
Książka elektroniczna
Szczegóły
Tytuł:
A Mechanized Program Verifier
Autorzy:
Moore, J. Strother
Pokaż więcej
Źródło:
Verified Software: Theories, Tools, Experiments : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions. 4171:268-276
Książka elektroniczna
Szczegóły
Wyświetlanie 1-20 z 148

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies