5th Conference on Automated Deduction : Les Arcs, France, July 8-11, 1980 / ed. by W. Bibel and R. Kowalski.
Rodzaj materiału:
TekstSerie: Lecture Notes in Computer Science ; 87Szczegóły wydania: Berlin [etc.] : Springer-Verlag, 1980.Opis: VII, [1], 385 s. : il. ; 1980ISBN: - 3540100091
- 0387100091
- Fifth Conference on Automated Deduction
- Dostępne również w formie elektronicznej.
| Typ dokumentu | Obecna biblioteka | Kolekcja | Sygnatura | Status | Kod kreskowy | |
|---|---|---|---|---|---|---|
| Niewypożyczane | Biblioteka Politechniki Poznańskiej w czytelni | Czytelnia | A 101322 | Dostępny | 001101322000 | |
| Magazyn - Wypożyczane na zewnątrz z kolekcji MG | Biblioteka Politechniki Poznańskiej na półce | magazyn główny | Mg 103644 | Dostępny | 0000191755 |
Liczba zamówień: 0
Bibliogr. przy rozdz.
Dostępne również w formie elektronicznej.