Showing 41 - 60 results of 658 for search '"Fiat"', query time: 0.13s Refine Results
  1. 41
  2. 42
  3. 43

    Fiat 132 (all models with 1600, 1800 and 2000 c.c.)/ by 175551 Russek, Peter R. D.

    Published 1977
    Subjects: “…Fiat automobile…”
  4. 44

    Konsep Uang Islam: Antara Uang Komoditas atau Uang Fiat by Khoirul Umam

    Published 2016-06-01
    Subjects: “…commodity money, fiat money, seignior-age, fractional reserve system, interest…”
    Get full text
    Article
  5. 45
  6. 46
  7. 47
  8. 48

    Fiat: Deductive Synthesis of Abstract Data Types in a Proof Assistant by Delaware, Benjamin James, Pit-Claudel, Clement F., Gross, Jason S., Chlipala, Adam

    Published 2014
    “…We present Fiat, a library for the Coq proof assistant supporting refinement of declarative specifications into efficient functional programs with a high degree of automation. …”
    Get full text
    Get full text
    Get full text
    Get full text
    Article
  9. 49

    Fiat: Deductive Synthesis of Abstract Data Types in a Proof Assistant by Delaware, Benjamin James, Pit-Claudel, Clément, Gross, Jason S., Chlipala, Adam

    Published 2021
    “…We present Fiat, a library for the Coq proof assistant supporting refinement of declarative specifications into efficient functional programs with a high degree of automation. …”
    Get full text
    Get full text
    Get full text
    Get full text
    Article
  10. 50
  11. 51
  12. 52
  13. 53

    Sviluppo economico e divisione territoriale del lavoro: il caso FIAT by Michael Dunford, Lidia Greco

    Published 2007-11-01
    “…To illustrate this theoretical approach the article concludes with a case study of FIAT in Piemonte and Basilicata.…”
    Get full text
    Article
  14. 54
  15. 55
  16. 56

    Fiat-Shamir for Proofs Lacks a Proof Even in the Presence of Shared Entanglement by Frédéric Dupuis, Philippe Lamontagne, Louis Salvail

    Published 2024-12-01
    “…First, we show the fully-black-box impossibility of a $quantum$ Fiat-Shamir transform, extending the impossibility result of Bitansky et al. …”
    Get full text
    Article
  17. 57
  18. 58

    Seigniorage of fiat money and the maqasid al-shari'ah: the compatibility of the gold dinar with the maqasid by Mydin Meera, Ahamed Kameel, Larbani, Moussa

    Published 2009
    “…Part I of the paper argued that fiat money is counterproductive to the attainment of the maqasid al-Shari’ah. …”
    Get full text
    Article
  19. 59
  20. 60

    Can gold Dinar replace fiat money as currency? / Noraini Peie … [et al.] by Peie, Noraini, Mohamad, Saadiah, Mohamad Yusoff, Nur Syahirah, Joreme, Aidaty Aqilah, Rosli, Mohd Azizam

    Published 2017
    “…These crises have led to a discourse on fiat money as a possible culprit to the crises due to its inherent promotion of speculation, debt and interest related economy. …”
    Get full text
    Article