Wyszukiwanie zaawansowane

Wyniki wyszukiwania: 15.

Wyniki
		Logic Colloquium : symposium on Logic Held at Boston, 1972-73 / ed. by R. Parikh. autor Logic Colloquium '72/'73 (1972-1973 ; Boston) Parikh, Rohit, (1936- ) [Red.] Serie: Lecture Notes in Mathematics ; 453 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany; Szczegóły wydania: Berlin [etc.] : Springer-Verlag, 1975 Zasoby online: Licencja krajowa Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 71090.
		Actes du congrès international des mathématiciens 1970. T. 1, Documents-Médailles Fields. Conférences générales (G). Logique (A)-Algèbre (B) / publiés sous la direction du Comité d'Organisation du Congrès. autor International Congress of Mathematicians (1970 ; Nicea) Gauthier-Villars (Paryż) [] Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany; Język: angielski, francuski Szczegóły wydania: Paris : Gauthier- Villars, 1971 Inny tytuł: Actes du congrès international des mathématiciens, 1/10 septembre 1970, Nice Documents-Médailles Fields. Conférences générales (G). Logique (A)-Algèbre (B) Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 64000/1.
		Methods in mathematical logic : proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, August 1-6, 1983 / ed. by C. A. Di Prisco. autor Latin American Symposium on Mathematical Logic (6 ; 1985 ; Caracas) Di Prisco, C. A [Red.] Serie: Lecture Notes in Mathematics ; 1130 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Szczegóły wydania: Berlin [etc.] : Springer-Verlag, 1985 Zasoby online: Licencja krajowa Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w opracowaniu A 162536.
		Logic Symposia, Hakone, 1979, 1980 : proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980 / ed. by G. H. Müller, G. Takeuti and T. Tugué. autor Müller, Gert Heinz, (1923-2006) [Red.] Takeuti, Gaisi, (1926- ) [Red.] Tugué, Tosiyuki, (1926- ) [Red.] Serie: Lecture Notes in Mathematics ; 891 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany; Szczegóły wydania: Berlin [etc.] : Springer-Verlag, 1981 Zasoby online: Licencja krajowa Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 99217.
		Logic of programs : workshop, ETH Zürich, May-July 1979 / ed. by Erwin Engeler. autor Engeler, Erwin [Red.] Springer-Verlag (Berlin) [] Serie: Lecture Notes in Computer Science ; 125 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Szczegóły wydania: Berlin : Springer, 1981 Zasoby online: Licencja krajowa Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 100099.
		Contributions to non-standard analysis / ed. by W. A. J. Luxemburg and A. Robinson. autor Luxemburg, Wilhelmus Anthonius Josephus, (1929- ) [Red.] Robinson, Abraham, (1918-1974) [Red.] Symposium on Non-standard Analysis (1970 ; Oberwolfach) Serie: Studies in Logic and the Foundations of Mathematics ; vol. 69 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany; Szczegóły wydania: Amsterdam ; London : North-Holland Publishing Company, 1972 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: na półce Mg 63349. Zamów
		Natural language and logic : international scientific symposium, Hamburg, FRG, May 9-11, 1989 : proceedings / R. Studer (ed.). autor Studer, Rudi [Red.] Springer-Verlag (Berlin) [] Serie: Lecture Notes in Computer Science ; 459 \| Lecture Notes in Computer Science. Lecture Notes in Artificial Intelligence Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Szczegóły wydania: Berlin : Springer, 1990 Zasoby online: Licencja krajowa Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 181337.
		Mathematical logic and applications : proceedings of the Logic Meeting held in Kyoto, 1987 / J. Shinoda, T. A. Slaman, T. Tugué (eds.). autor Shinoda, Juichi, (1948- ) [Red.] Slaman, Theodore Allen, (1954- ) [Red.] Tugué, Tosiyuki, (1926- ) [Red.] Serie: Lecture Notes in Mathematics ; 1388 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany; Szczegóły wydania: Berlin [etc.] : Springer-Verlag, cop. 1989 Zasoby online: Licencja krajowa Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 162840.
		Methodologies for intelligent systems, 3 : proceedings of the third International Symposium on Methodologies for Intelligent Systems held October 12-15, 1988, in Turin, Italy / editors Zbigniew W. Ras, Lorenza Saitta. autor Raś, Zbigniew Wiesław [Red.] Saitta, Lorenza, (1944- ) [Red.] ISMIS '88 (3 ; 1988 ; Turyn) Rodzaj materiału: Tekst; Format: druk Szczegóły wydania: New York : North-Holland, 1988 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 115541.
		Cabal seminar 76-77 : proceedings, Caltech-UCLA logic seminar 1976-77 / ed. by A. S. Kechris and Y. N. Moschovakis. autor Cabal Seminar Kechris, Alexander S, (1946- ) [Red.] Moschovakis, Yiannis Nicholas [Red.] Springer-Verlag (Berlin) [] Serie: Lecture Notes in Mathematics ; 689 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany; Szczegóły wydania: Berlin [etc.] : Springer-Verlag, 1978 Zasoby online: Licencja krajowa Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (2)Lokalizacja, sygnatura: w czytelni A 89195, ...
		XV Forum Informatyki Teoretycznej : materiały konferencyjne / Politechnika Białostocka. autor Forum Informatyki Teoretycznej (15 ; 2001 ; Białystok) Politechnika Białostocka Rodzaj materiału: Tekst; Format: druk Szczegóły wydania: Białystok : Wydaw. PB, 2004 Inny tytuł: Forum Informatyki Teoretycznej, 15 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 149417.
		5th Conference on Automated Deduction : Les Arcs, France, July 8-11, 1980 / ed. by W. Bibel and R. Kowalski. autor Conference on Automated Deduction (5 ; 1980 ; Les Arcs) Bibel, Wolfgang, (1938- ) [Red.] Kowalski, Robert, (1941- ) [Red.] Serie: Lecture Notes in Computer Science ; 87 Rodzaj materiału: 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: Licencja krajowa Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (2)Lokalizacja, sygnatura: w czytelni A 101322, ... Zamów
		ISILC logic conference : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 / ed. by G. H. Müller, A. Oberschelp, K. Potthoff. autor International Summer Institute and Logic Colloquium (1974 ; Kilonia) Müller, Gert Heinz, (1923-2006) [Red.] Oberschelp, Arnold [Red.] Potthoff, Karl [Red.] Serie: Lecture Notes in Mathematics ; 499 Rodzaj materiału: Tekst; Format: druk Szczegóły wydania: Berlin : Springer, 1975 Zasoby online: Licencja krajowa Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 73912.
		The theory of models : proceedings of the 1963 International Symposium at Berkeley / edited by. J. W. Addison, Leon Henkin, Alfred Tarski. autor International Symposium on the Theory of Models (1963 ; Berkeley) Addison, John West, (1930- ) [Redakcja] Henkin, Leon [Redakcja] Tarski, Alfred, (1901-1983) [Redakcja] North-Holland Publishing Company [Wydawca] Serie: Studies in Logic and the Foundations of Mathematics Wydanie: 3rd printing. Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany; Szczegóły wydania: Amsterdam ; London : North-Holland Publishing Company, 1972 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 64287.
		Papers on logic and rationality : Festschrift in honour of Andrzej Grzegorczyk / ed. by Kazimierz Trzęsicki, Stanisław Krajewski, Jan Woleński. autor Trzęsicki, Kazimierz, (1947-2025) [Red.] Krajewski, Stanisław, (1950- ) [Red.] Woleński, Jan, (1940- ) [Red.] Uniwersytet (Białystok) [pbl] Uniwersytet (Białystok). Wydawnictwo [pbl] Serie: Studies in Logic, Grammar and Rhetoric ; 27 (40) Rodzaj materiału: Tekst; Format: druk ; Forma piśmiennicza: publikacja jubileuszowa ; Forma literacka: Tekst nieliteracki Szczegóły wydania: Bialystok : University of Bialystok, 2012 Zasoby online: Kliknij tutaj, aby uzyskać dostęp online Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 178013.