THELIB
श्रेणी नियम नियम लॉग इन
  • पुस्तकें
  • टैग: reasoning modeling

पुस्तकें — reasoning modeling

RU
तर्क और कंप्यूटर: तर्क का मॉडलिंग और प्रोग्राम की शुद्धता का सत्यापन

तर्क और कंप्यूटर: तर्क का मॉडलिंग और प्रोग्राम की शुद्धता का सत्यापन

A

Н.А. Алешина, А.М. Анисов, П.И. Быстров, И.А. Герасимова, В.С. Меськов, Н.Н. Непейвода, В.А. Смирнов, В.Н. Стеблецова, В.И. Шалак

एआई और एमएल
THELIB

8 भाषाओं में अनुवाद के साथ आईटी पुस्तकालय।

कैटलॉग

  • पुस्तकें
  • श्रेणियाँ
  • नियम
  • समझौता

खाता

  • पंजीकरण
  • लॉग इन
  • सहायता

जानकारी

  • thelib.cc
  • v0.1
© 2026 THELIB 8 भाषाएँ · AI द्वारा तत्काल अनुवाद