• English
    • Deutsch
    • Español
    • Français
    • Italiano
    • 日本語
    • Nederlands
    • Português
    • Português (Brasil)
    • 中文(简体)
    • 中文(繁體)
    • Türkçe
    • עברית
    • Gaeilge
    • Cymraeg
    • Ελληνικά
    • Català
    • Euskara
    • Русский
    • Čeština
    • Suomi
    • Svenska
    • polski
    • Dansk
    • slovenščina
    • اللغة العربية
    • বাংলা
    • Galego
    • Tiếng Việt
    • Hrvatski
    • हिंदी
    • Հայերէն
    • Українська
Avançada
  • Логика и компьютер...
  • Citar
  • Enviar aquest missatge de text
  • Enviar per correu electrònic aquest
  • Imprimir
  • Exportar registre
    • Exportar a RefWorks
    • Exportar a EndNoteWeb
    • Exportar a EndNote
  • Enllaç permanent
Логика и компьютер Моделирование рассуждений и проверка правильности программ

Логика и компьютер

Dades bibliogràfiques
Autor corporatiu: Академия Наук СССР
Altres autors: Макаров И. М. (340)
Publicat: Москва, Наука, 1990
Col·lecció:Кибернетика: неограниченные возможности и возможные ограничения
Matèries:
логика
компьютеры
рассуждения
моделирование
программы
проверки
Format: Llibre
KOHA link:https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=74506
  • Fons
  • Descripció
  • Ítems similars
  • Visualització del personal

Ítems similars

  • Логика и компьютер
    per: Карпенко А. С. Александр Степанович
    Publicat: (Москва, Наука, 1997)
  • Символическая логика: классическая и релевантная философско - методологические аспекты учебное пособие
    per: Войшвилло Е. К. Евгений Казимирович
    Publicat: (Москва, Высшая школа, 1989)
  • Логика и компьютер курс логики и компьютерный практикум
    per: Смирнов В. А.
    Publicat: (Москва, Наука, 1996)
  • Логика учебное пособие для вузов
    per: Ивин А. А. Александр Архипович
    Publicat: (Москва, Высшая школа, 2004)
  • Моделирование рассуждений опыт анализа мыслительных актов
    per: Поспелов Д. А. Дмитрий Александрович
    Publicat: (Москва, Радио и связь, 1989)