Wyniki wyszukiwania: 7.

Sortuj
Nie podświetlaj Podświetlaj
Zaznacz wszystko Wyczyść wszystko
Wyniki
A Verification for Redundant Signed Digit Adder Circuits / Katsumi Wasaki. autor
Rodzaj materiału: Artykuł Artykuł; Format: druk ; Forma literacka: Tekst nieliteracki
From insight to proof 10 (23) (2007), s. 213-230 W: Studies in Logic, Grammar and Rhetoric 10 (23) (2007), s. 213-230 W: From insight to proof : Festschrift in honour of Andrzej Trybulec S. 213-230
Status: Brak dostępnych egzemplarzy.
Logic for computer science : foundations of automatic theorem proving / Jean H. Gallier. autor Serie: Harper & Row Computer Science and Technology Series
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany;
Szczegóły wydania: New York [etc.] : Harper & Row, cop. 1986
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 108309.
Formalizing Basic Complex Analysis : Dedicated to Andrzej Trybulec on the occasion of his 65th birthday / John Harrison. autor
Rodzaj materiału: Artykuł Artykuł; Format: druk ; Forma literacka: Tekst nieliteracki
From insight to proof 10 (23) (2007), s. 151-165 W: Studies in Logic, Grammar and Rhetoric 10 (23) (2007), s. 151-165 W: From insight to proof : Festschrift in honour of Andrzej Trybulec S. 151-165
Status: Brak dostępnych egzemplarzy.
Computer Supported Formal Work : Towards a Digital Mathematical Assistant / Jörg Siekmann and Serge Autexier. autor
Rodzaj materiału: Artykuł Artykuł; Format: druk ; Forma literacka: Tekst nieliteracki
From insight to proof 10 (23) (2007), s. 231-248 W: Studies in Logic, Grammar and Rhetoric 10 (23) (2007), s. 231-248 W: From insight to proof : Festschrift in honour of Andrzej Trybulec S. 231-248
Status: Brak dostępnych egzemplarzy.
Chiron : A Multi-Paradigm Logic / William M. Farmer. autor
Rodzaj materiału: Artykuł Artykuł; Format: druk ; Forma literacka: Tekst nieliteracki
From insight to proof 10 (23) (2007), s. 1-19 W: Studies in Logic, Grammar and Rhetoric 10 (23) (2007), s. 1-19 W: From insight to proof : Festschrift in honour of Andrzej Trybulec S. 1-19
Status: Brak dostępnych egzemplarzy.
Automated Discovery of Inductive Theorems / Roy McCasland, Alan Bundy, and Serge Autexier. autor
Rodzaj materiału: Artykuł Artykuł; Format: druk ; Forma literacka: Tekst nieliteracki
From insight to proof 10 (23) (2007), s. 135-149 W: Studies in Logic, Grammar and Rhetoric 10 (23) (2007), s. 135-149 W: From insight to proof : Festschrift in honour of Andrzej Trybulec S. 135-149
Status: Brak dostępnych egzemplarzy.
A fascinating country in the world of computing : your guide to automated reasoning / Larry Wos, Gail W. Pieper. autor
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany;
Szczegóły wydania: Singapore ; New Jersey ; London ; Hong Kong : World Scientific, copyright © 1999
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 193069.