Пошуковий запит: (<.>U=В121$<.>) |
Загальна кількість знайдених документів : 5
Представлено документи з 1 до 5
|
|
| | |
|
1. |
Ж66583/1996/30 | Институт математики им. С.Л.Соболева СО РАН. Труды Института математики им. С.Л.Соболева СО РАН [Текст] / РАН. СО. - Новосибирск. - ISSN 0208-0060. 1996, Т.30 : Вопросы алгебры и логики / ред. Ю. Ершов, В. Мазуров. - Новосибирск : [б.в.], 1996. - 192 с. (Труды Института математики им. С.Л.Соболева СО РАН, ISSN 0208-0060 ; 1996, Т.30). - ISBN 5-86134-019-6
Рубрики:
Географічні рубрики:
| 1996 | | Т. 30
|
Видання зберігається у :
Основний фонд
| |
|
| | |
|
2. | > Ж69501 Логика и компьютер , М. Сер, "Кибернетика: неограниченные возможности и возможные ограничения".- Отримується з 1997.
|
> Логика и компьютер [Текст]. Сер, "Кибернетика: неограниченные возможности и возможные ограничения"/ РАН. - М. : "Наука", 1963 .- Отримується з 1997. РОКИ: 1997
Рубрики:
Географічні рубрики:
| |
|
| | |
|
3. |
Ж36664/1999/2180 | Wrocław. Uniwersytet. Acta Universitatis Wratislaviensis [Text] / Wrocław. Uniwersytet. - Wrocław : Wyd-wo Uniw. Wrocławskiego, 1962 - . - Скорочена назва : AUW. - ISSN 0239-6661. 1999, N.2180 : Logika. T.19 / red. J. Hawranek. - Wrocław : Wyd-wo Uniw. Wrocławskiego, 1999. - 100 s. - (Logika ; t.19) (Acta Universitatis Wratislaviensis, ISSN 0239-6661 ; 1999, N.2180). - Bibliogr. v kinci st. - ISBN 83-229-1967-0
Рубрики:
Географічні рубрики:
| 1999 | | № 2180
|
Видання зберігається у :
| |
|
| | |
|
4. |
Ж36664/1999/2190 | Wrocław. Uniwersytet. Acta Universitatis Wratislaviensis [Text] / Wrocław. Uniwersytet. - Wrocław : Wyd-wo Uniw. Wrocławskiego, 1962 - . - Скорочена назва : AUW. - ISSN 0239-6661. № 2190 : Aspects of refutation procedures in the intuitionistic logic and related modal systems / T. Skura. - Wrocław : Wydaw. Uniw. Wrocławskiego, 1999. - 84 p. - (Logika ; t.20) (Acta Universitatis Wratislaviensis, ISSN 0239-6661 ; № 2190). - Bibliogr.: P.83-84. - ISBN 83-229-1985-9
Рубрики:
Географічні рубрики:
| 1999 | | № 2190
|
Видання зберігається у :
| |
|
| | |
|
5. |
Ж38067/2007/2554 | Katowice. Uniwersytet Śląski. Prace naukowe Uniwersytetu Śląskiego w Katowicach [Text] / red. Z. Żmigrodzki. - Katowice : WUS. - ISSN 0208-6336. 2007, N.2554 : Unification types in logic / W. Dzik. - Katowice : WUS, 2007. - 192 p. (Prace naukowe Uniwersytetu Śląskiego w Katowicach, ISSN 0208-6336 ; 2007, N.2554). - Bibliogr.: p.180-186. - ISBN 978-83-226-1717-5 Rez.: pol., ger.
Рубрики:
| 2007 | | Nr. 2554
|
Видання зберігається у :
Основний фонд
| |