Wyniki wyszukiwania: 3.

Sortuj
Nie podświetlaj Podświetlaj
Zaznacz wszystko Wyczyść wszystko
Wyniki
Logic programming : Proceedings of the Fifth International Conference and Symposium, 15-19 August, 1988, Seattle. Vol. 1 / ed. by Robert A. Kowalski, Kenneth A. Bowen. autor Serie: Logic Programming
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany;
Szczegóły wydania: Cambridge ; London : The MIT Press, cop. 1988
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 181392.
Logika w rozwiązywaniu zadań / Robert Kowalski ; z angielskiego przełożył Paweł Luboński. autor Serie: Biblioteka Inżynierii Oprogramowania
Wydanie: Wydanie I.
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany;
Język: polski Język oryginału: angielski
Szczegóły wydania: Warszawa : Wydawnictwa Naukowo-Techniczne, 1989
Inny tytuł:
  • Logic for problem solving
  • Logic for problem solving
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Instytutu Konstrukcji Budowlanych (1)Lokalizacja, sygnatura: Inst.Konstr.Bud. IB I15183. Biblioteka Politechniki Poznańskiej (5)Lokalizacja, sygnatura: w czytelni A 114859, ...
Zamów
5th Conference on Automated Deduction : Les Arcs, France, July 8-11, 1980 / ed. by W. Bibel and R. Kowalski. autor Serie: Lecture Notes in Computer Science ; 87
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany;
Szczegóły wydania: Berlin [etc.] : Springer-Verlag, 1980
Inny tytuł:
  • Fifth Conference on Automated Deduction
Zasoby online:
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (2)Lokalizacja, sygnatura: w czytelni A 101322, ...
Zamów