Wyszukiwanie zaawansowane

Wyniki wyszukiwania: 17.

Wyniki
		Logic program synthesis and transformation : 5th international workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995 : proceedings / Maurizio Proietti (ed.). autor Proietti, Maurizio International Workshop on Logic Program Synthesis and Transformation (5 ; 1995 ; Utrecht) Serie: Lecture Notes in Computer Science ; 1048 Rodzaj materiału: Tekst; Format: druk Szczegóły wydania: Berlin : Springer, 1996 Zasoby online: Licencja krajowa Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 181473.
		Logic program synthesis and transformation : 6th international workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996 : proceedings / John Gallagher (ed.). autor International Workshop on Logic Program Synthesis and Transformation (6 ; 1996 ; Sztokholm) Gallagher, John [Red.] Serie: Lecture Notes in Computer Science ; 1207 Rodzaj materiału: Tekst; Format: druk Szczegóły wydania: Berlin : Springer, 1997 Zasoby online: Licencja krajowa Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 181474.
		Meta-programmming in logic : third international workshop, META-92, Uppsala, Sweden, June 10-12, 1992 : proceedings / A. Pettorossi (ed.). autor META-92 (3 ; 1992 ; Uppsala) Pettorossi, Alberto, (1947- ) [Red.] Serie: Lecture Notes in Computer Science ; 649 Rodzaj materiału: Tekst; Format: druk Szczegóły wydania: Berlin : Springer, 1992 Zasoby online: Licencja krajowa Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 181407.
		Logic programming : proceedings of the eighth international conference on logic programming / ed. by Koichi Furukawa. autor International Conference on Logic Programming (8 ; 1991 ; Paryż) Furukawa, Koichi [Red.] MIT Press [pbl] Serie: Logic Programming Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Język: angielski Język streszczenia: angielski Szczegóły wydania: Cambridge, MA ; London : MIT Press, cop. 1991 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 181393.
		Logic programming : proceedings of the 1999 international conference on logic programming / ed. by Danny De Schreye. autor International Conference on Logic Programming (16 ; 1999 ; Las Cruces) De Schreye, Danny [Red.] MIT Press [] Serie: Logic Programming Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Szczegóły wydania: Cambridge ; London : The MIT Press, 1999 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 181653.
		Logic program synthesis and transformation : proceedings of LOPSTR 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 4-5 July 1991 / T. P. Clement and K.-K. Lau (eds.). autor LOPSTR 91 (1991 ; Manchester) Clement, Timothy Paul, (1954- ) [Red.] Lau, Kung-Kiu, (1953- ) [Red.] Serie: Workshops in Computing Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Szczegóły wydania: London : Springer, 1992 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 181346.
		Logic programming : proceedings of the 1994 international symposium / ed. by Maurice Bruynooghe. autor International Symposium on Logic Programming (1994 ; Santa Margherita Ligure) Bruynooghe, Maurice [Red.] MIT Press [pbl] Serie: Logic Programming Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Język: angielski Język streszczenia: angielski Szczegóły wydania: Cambridge, MA ; London : MIT Press, cop. 1994 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 181464.
		Logic programming : proceedings of the Seventh International Cconference / ed. by David H.D. Warren and Peter Szeredi. autor Warren, David H. D [Red.] Szeredi, Peter, (1949- ) [Red.] International Conference on Logic Programming (7 ; 1990 ; Jerozolima) Serie: Logic Programming Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Język: angielski Język streszczenia: angielski Szczegóły wydania: Cambridge, MA ; London : MIT Press, 1990 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 181321.
		Logic programming : proceedings of the 1995 international symposium, December 4-7, Portland, Oregon / ed. by John Lloyd. autor International Symposium on Logic Programming (1995 ; Portland) Lloyd, John Wylie, (1947- ) [Red.] MIT Press [pbl] Serie: Logic Programming Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Język: angielski Język streszczenia: angielski Szczegóły wydania: Cambridge, MA ; London : MIT Press, cop. 1995 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 181465.
		ALPUK 92 : proceedings of the 4th UK Conference on Logic Programming, London, 30 March-1 April 1992 / Krysia Broda (ed.). autor ALPUK 92 (4 ; 1992 ; Londyn) Broda, Krysia, (1949- ) [Red.] Springer-Verlag (Berlin) [pbl] Serie: Workshops in Computing Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Język: angielski Język streszczenia: angielski Szczegóły wydania: Berlin : Springer-Verlag, cop. 1993 Inny tytuł: 4th UK Conference on Logic Programming, London 1992 Fourth UK Conference on Logic Programming, London 1992 4th UK Conference on Logic Programming Fourth UK Conference on Logic Programming Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 181400.
		Logic programming : proceedings of the 1990 North American Conference on Logic Programming / ed. by Saumya Debray and Manuel Hermenegildo. autor North American Conference on Logic Programming (1990 ; Austin) Debray, Saumya [Red.] Hermenegildo, Manuel [Red.] MIT Press [pbl] Serie: Logic Programming Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Język: angielski Język streszczenia: angielski Szczegóły wydania: Cambridge, MA ; London : MIT Press, cop. 1990 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 181320.
		Algebraic and logic programming : second International Conference, Nancy, France, October 103, 1990 : proceedings / H. Kirchner, W. Wechler (Eds.). autor International Conference on Algebraic and Logic Programming (2 ; 1990 ; Nancy) Kirchner, Hélène [Red.] Wechler, Wolfgang [Red.] Serie: Lecture Notes in Computer Science ; 463 Rodzaj materiału: Tekst; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany; 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 181344.
		Logic programming : proceedings of the 1991 international symposium / edited by Vijay Saraswat and Kazunori Ueda. autor International Symposium on Logic Programming (1991 ; San Diego) Saraswat, Vijay [Red.] Ueda, Kazunori [Red.] MIT Press [pbl] Serie: Logic Programming Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Język: angielski Język streszczenia: angielski Szczegóły wydania: Cambridge, MA ; London : MIT Press, cop. 1991 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 181394.
		Programming language implementation and logic programming : 5th international symposium, PLILP '93, Tallinn, Estonia, August 25-27, 1993 : proceedings / Maurice Bruynooghe, Jaan Penjam (eds.). autor PLILP '93 (5 ; 1993 ; Tallinn) Bruynooghe, Maurice [Red.] Penjam, Jaan, (1955- ) [Red.] Serie: Lecture Notes in Computer Science ; 714 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Szczegóły wydania: Berlin : Springer, 1993 Zasoby online: Licencja krajowa Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 181396.
		Programming language implementation and logic programming : 4th international symposium, PLILP '92, Leuven, Belgium, August 26-28, 1992 : proceedings / M. Bruynooghe, M. Wirsing (eds.). autor PLILP '92 (4 ; 1992 ; Leuven) Bruynooghe, Maurice [Red.] Wirsing, Martin [Red.] Serie: Lecture Notes in Computer Science ; 631 Rodzaj materiału: Tekst; Format: druk Szczegóły wydania: Berlin : Springer, 1992 Zasoby online: Licencja krajowa Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 181397.
		Algebraic and logic programming : third international conference, Volterra, Italy, September 2-4, 1992 : proceedings / H. Kirchner, G. Levi (eds.). autor Kirchner, Hélène [Red.] Levi, Giorgio, (1942- ) [Red.] International Conference on Algebraic and Logic Programming (3 ; 1992 ; Volterra) Serie: Lecture Notes in Computer Science ; 632 Rodzaj materiału: Tekst; Format: druk Szczegóły wydania: Berlin : Springer, 1992 Zasoby online: Licencja krajowa Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 181403.
		ALPUK 91 : proceedings of the 3rd UK Annual Conference on Logic Programming, Edinburgh, 10-12 April 1991 / Geraint A. Wiggins, Chris Mellish and Tim Duncan (eds.). autor ALPUK 91 (3 ; 1991 ; Edynburg) Wiggins, Geraint A, (1962- ) [Red.] Mellish, Christopher S, (1954- ) [Red.] Duncan, Tim, (1956- ) [Red.] Springer-Verlag (Berlin) [pbl] Serie: Workshops in Computing Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Język: angielski Język streszczenia: angielski Szczegóły wydania: Berlin : Springer-Verlag, cop. 1992 Inny tytuł: 3rd UK Annual Conference on Logic Programming, Edinburgh 1991 Third UK Annual Conference on Logic Programming, Edinburgh 1991 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 181347.