Асосий контентга ўтиш
AkademIndex

Маҳсулотлар

Ишлаб чиқувчилар учун

AkademBaseтез орадаЭкотизим учун очиқ API
Лотин
← Ишга қайтиш

Ушбу иш иқтибос қилган ишлар

16 та иш

Иш: Hoare logic for GOLOG programs

  1. First-Order Dynamic Logic

    David Harel

    Китоб19793 иқтибос
    ABI
  2. Сарлавҳасиз

    Бошқа1 иқтибос
    ABI
  3. Сарлавҳасиз

    Бошқа1 иқтибос
    ABI
  4. Сарлавҳасиз

    Бошқа1 иқтибос
    ABI
  5. Сарлавҳасиз

    Бошқа1 иқтибос
    ABI
  6. Сарлавҳасиз

    Бошқа1 иқтибос
    ABI
  7. Сарлавҳасиз

    Бошқа1 иқтибос
    ABI
  8. Сарлавҳасиз

    Бошқа1 иқтибос
    ABI
  9. Сарлавҳасиз

    Бошқа1 иқтибос
    ABI
  10. Сарлавҳасиз

    Бошқа1 иқтибос
    ABI
  11. Сарлавҳасиз

    Бошқа1 иқтибос
    ABI
  12. Сарлавҳасиз

    Бошқа1 иқтибос
    ABI
  13. Сарлавҳасиз

    Бошқа1 иқтибос
    ABI
  14. Сарлавҳасиз

    Бошқа1 иқтибос
    ABI
  15. Сарлавҳасиз

    Бошқа1 иқтибос
    ABI
  16. Сарлавҳасиз

    Бошқа1 иқтибос
    ABI