Kapak Resmi

Summary goes here

Kaydedildi:
Detaylı Bibliyografya
Materyal Türü: Kitap
Dil:İngilizce
Konular:
Coq (Electronic resource)
Automatic theorem proving
Computer programming.
COMPUTER SCIENCE/General
COMPUTER SCIENCE/Programming Languages
Etiketler: Etiketle
Etiket eklenmemiş, İlk siz ekleyin!

LIND Internet

Detaylı Erişim Bilgileri LIND Internet
Yer Numarası: QA76.9.A96 C45 2013
Kopya Bilgisi 0 AVAILABLE
Notlar:
  • json {"id":"9f00f720-6e3d-567c-853b-f75ead0b5a5a","status":{"code":"AVAILABLE"},"location":{"code":"LIND-INT","name":"LIND Internet"},"callNumber":"QA76.9.A96 C45 2013","sourceHostLmsCode":"LINDENWOOD_UNIVERSITY","isRequestable":true,"isSuppressed":false,"holdCount":0,"availabilityDate":"2026-09-16T01:33:29.206160462Z","localItemType":"Electronic Resource","canonicalItemType":"UNKNOWN - NULL hostLmsCode","localItemTypeCode":"Electronic Resource","rawVolumeStatement":"(LU Electronic book)","parsedVolumeStatement":"(LU Electronic book)","statusCorrectAsOf":"2026-09-16T01:33:30.226672860Z"}