Izpis gradiva

A+ | A- | | SLO | ENG

Naslov: Structures for relative quantifier elimination in valued fields Avtorji: ID Linzi, Alessandro (Avtor) Datoteke: https://events.illc.uva.nl/Logic4Peace/uploaded_files/inlineitem/Logic4Peace_Book_of_Abstracts.pdf   Jezik: Angleški jezik Vrsta gradiva: Neznano Tipologija: 1.12 - Objavljeni povzetek znanstvenega prispevka na konferenci Organizacija: UNG - Univerza v Novi Gorici Ključne besede: quantifier elimination, model theory, valued field Kraj izvedbe: University of Amsterdam (online event) Leto izida: 2022 Št. strani: Str. 40 PID: 20.500.12556/RUNG-7645  COBISS.SI-ID: 124761347  UDK: 51 NUK URN: URN:SI:UNG:REP:4YAJULEI Datum objave v RUNG: 07.10.2022 Število ogledov: 2122 Število prenosov: 7 Metapodatki:    Citiraj gradivo Navadno besedilo BibTeX EndNote XML EndNote/Refer RIS ABNT ACM Ref AMA APA Chicago 17th Author-Date Harvard IEEE ISO 690 MLA Vancouver : Kopiraj citat

Skupna ocena: (0 glasov) Vaša ocena: Ocenjevanje je dovoljeno samo prijavljenim uporabnikom. Objavi na: Postavite miškin kazalec na naslov za izpis povzetka. Klik na naslov izpiše podrobnosti ali sproži prenos.

Gradivo je del monografije

Naslov:	Logic4Peace : fundraising online logic event for peace, April 22-23, 2022
Uredniki:	Malvin Gattinger
Kraj izida:	Amsterdam
Založnik:	Universiteit van Amsterdam
Leto izida:	2022
COBISS.SI-ID:	124759555

Nazaj