Enumerating proofs of positive formulae /

Código QR

Enumerating proofs of positive formulae /

Na minha lista:

Detalhes bibliográficos
Autor principal:	Dowek, Gilles.
Outros Autores:	Jiang, Ying.
Formato:	Artigo
Idioma:	English
Assuntos:	Enumerating proofs Minimal predicate logic Positive formulae
Tags:	Adicionar Tag Sem tags, seja o primeiro a adicionar uma tag!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt

Registos relacionados

The nuts and bolts of proofs
Por: Cupillari, Antonella
Publicado em: (2005)

Dag Prawitz on Proofs and Meaning
Por: Wansing, Heinrich
Publicado em: (2015)

Structural proof theory
Por: Sara Negri
Publicado em: (2001)

Structural proof theory
Por: Negri, Sara
Publicado em: (2001)

The Quadratic Reciprocity Law (A Collection of Classical Proofs)
Por: Baumgart, Oswald
Publicado em: (2015)

Proof patterns
Por: Mark Joshi
Publicado em: (2015)

Evidence, proof, and facts
Por: Murphy, Peter
Publicado em: (2003)

Problems and Proofs in Numbers and Algebra
Por: Millman, Richard S, et al.
Publicado em: (2015)

Recovery and enumeration of cryptosporidium parvum from animal fecal matrices /

Enumeration of bifidobacteria in gastrointestinal samples from piglets /

An investigation into linguistic Features of enumeration in english and vietnamese
Por: Trần Thị Thơm
Publicado em: (2025)

Automated enumeration of groups of marine picoplankton after fluorescence in situ hybridization /
Por: Pernthaler, Jakob.

Single-cell enumeration of an uncultivated TM7 subgroup in the human subgingival crevice /
Por: Ouverney, Cleber C.

Detection and enumeration of aromatic oxygenase genes by multiplex and real-time PCR /
Por: Baldwin, Brett R.

Evaluation of a rapid, quantitative real-time PCR method for enumeration of pathogenic candida cells in water /

Strategy-proofness and the tops-only property /
Por: Weymark, John A.

Enumeration and characterization of acidophilic microorganisms isolated from a pilot plant stirred-tank bioleaching operation /

Theorems, corollaries, lemmas, and methods of proof
Por: Rossi, Richard J.
Publicado em: (2006)

Logic and philosophy :
Por: Hausman, Alan
Publicado em: (2007)

Mathematical handbook of formulas and tables
Por: Spiegel, Murray R.
Publicado em: (1968)

Structural engineering formulas
Por: Mikhelson, Ilya
Publicado em: (2004)

An Investigation into Linguistic Features of Enumeration in English and Vietnamese /
Por: Trần Thị Thơm
Publicado em: (2010)

Enumeration of acetogens by a colorimetric most-probable-number assay /
Por: Harriott, O. T.

A rapid, specific membrane filtration procedure for enumeration of enterococci in recreational water /
Por: Messer, James W.

Enumeration and detection of anaerobic ferrous iron-oxidizing, nitrate-reducing bacteria from diverse european sediments /
Por: Straub, Kristina L.

Real-time PCR assay for detection and enumeration of dekkera bruxellensis in wine /
Por: Phister, Trevor G.

A study of factive assertive predicates in english versus vietnamese /
Por: Trần,Thị Quỳnh Như
Publicado em: (2015)

A study of factive assertive predicates in english versus vietnamese
Publicado em: (2025)

New method using sedimentation and immunomagnetic separation for isolation and enumeration of cryptosporidium parvum oocysts and giardia lamblia cysts /
Por: Massanet-Nicolau, Jaime.

A new membrane filtration medium for simultaneous detection and enumeration of Escherichia coli and total coliforms /
Por: Grant, M. A.

Enumeration and characterization of iron(III)-reducing microbial communities from acidic subsurface sediments contaminated with uranium(VI) /

A Genus - Degree formula for Fano variety of linear subspaces on complete intersections
Por: Đặng, Tuấn Hiệp, et al.
Publicado em: (2024)

Global Positioning System : theory and practice /
Por: Hofmann-Wellenhof, B.
Publicado em: (2001)

Radiographic positioning of small animals
Por: Ryan, Gerald D.
Publicado em: (1981)

Species-specific oligonucleotides for enumeration of pseudomonas putida F1, burkholderia sp. strain JS150, bacillus subtilis ATCC 7003 in biodegradation experiments /

Detection and enumeration of a tagged pseudomonas fluorescens strain by using soil with markers associated with an engineered catabolic pathway /
Por: Hwang, I.

Analysis and evaluation about the dimmable light affect positioning-based MISO visible light communication
Por: Nguyen, Thi Huyen Trang, et al.
Publicado em: (2025)

Bi-directional synthesis of 4-bit reversible circuits /

A Multi-Condition WiFi Fingerprinting Dataset for Indoor Positioning
Por: Duong-Bao, N., et al.
Publicado em: (2023)

Utility of green fluorescent nucleic acid dyes and aluminum oxide membrane filters for rapid epifluorescence enumeration of soil and sediment bacteria /
Por: Weinbauer, Markus G.

Notice: fwrite(): write of 697 bytes failed with errno=28 No space left on device in C:\vufind\module\VuFind\src\VuFind\Session\File.php on line 152
Cannot write session to C:\Windows\TEMP\vufind_sessions/sess_8g81g36isvimjst1t3b9b4jra5
Warning: session_write_close(): Failed to write session data using user defined save handler. (session.save_path: \xampp\tmp) in C:\vufind\vendor\laminas\laminas-session\src\SessionManager.php on line 235