- Agda
Agda may refer to
* A minor character from The Hitchhiker's Guide to the Galaxy
* TheAgda (theorem prover)
Wikimedia Foundation. 2010.
Agda
Look at other dictionaries:
Agda — Класс языка: функциональный, доказыватель теорем[en] Автор(ы): Ульф Норелл Релиз: 2.3.2 (12 ноября 2012) … Википедия
agda — àgda ž <G mn ágdā/ ī> DEFINICIJA reg. 1. ukuhani šećer 2. bombon od ukuhanog, topljenog šećera; karamela ETIMOLOGIJA tur. aǧda ← arap. ̔aqīd: spojen, vezan … Hrvatski jezični portal
ağda — is., Ar. ˁaḳīde 1) Kaynatılarak çok koyu ve yapışkan bir macun durumuna getirilen pekmez veya limonlu şeker eriyiği 2) Şekerle yapılan ürünlerin hazırlanması veya beklemesi sırasında şekerin ulaştığı koyuluk Atasözü, Deyim ve Birleşik Fiiller… … Çağatay Osmanlı Sözlük
Agda (theorem prover) — Agda is a theorem prover, i.e. a computer program that can check mathematical proofs. More specifically, it is an interactive system for developing constructive proofs in a variant of Per Martin Löf s Type Theory. It can also be seen as a… … Wikipedia
Agda Michelsdotter — Agda Michelsdotter, known as Liten Agda and Olof Tyste , (fl. c. 1523 1526), was couple in a legend which was to have happened in Sweden in c. 1523 27, during the very first years of king Gustav Vasa (1523 1560) and the last years of Catholic… … Wikipedia
Agda Persdotter — or Agda i Porten, (d. after 1565), was a Swedish woman, main royal mistress of King Eric XIV of Sweden during his time as a Crown Prince and during the first years of his reign 1560 1565. Biography Agda Persdotter is believed to have been the… … Wikipedia
Agda Lund Bed & Breakfast — (Чивик,Швеция) Категория отеля: Адрес: Kiviks stora väg 59, 27721 Чивик, Швеция … Каталог отелей
ağda yapmak — vücuttaki fazla tüyleri ağda ile almak, temizlemek … Çağatay Osmanlı Sözlük
AGDA — abbr. Automated Grants Documentation System … Dictionary of abbreviations
AĞDA — Bir kapta karıştırılıp pişirilerek koyulaşmış ve lüzucet kazanmış her nevi şeker vesaire … Yeni Lügat Türkçe Sözlük
