On constructing minimal formulae /

Mã QR

On constructing minimal formulae /

Đã lưu trong:

Bibliografiske detaljer
Hovedforfatter:	Dunne, Paul E.
Format:	Bài viết
Sprog:	English
Fag:	Boolean formulae Graph-based algorithms Minimum equivalent expression problem Non-adaptive np oracle computations
Tags:	Tilføj Tag Ingen Tags, Vær først til at tagge denne postø!

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

Lignende værker

Some results on minimum discrete bending energy path in simple polygon /
af: Xie, Yulai.

Boolean Representations of Simplicial Complexes and Matroids
af: Rhodes, John, et al.
Udgivet: (2015)

Graphs, Algorithms, and Optimization
af: Kocay, William
Udgivet: (2005)

Graphs, algorithms, and optimization /
af: Kocay, William.
Udgivet: (2005)

Graphs, algorithms, and optimization /
af: Kocay, William.
Udgivet: (2005)

Graphs, algorithms, and optimization /
af: Kocay, William.
Udgivet: (2005)

Graph algorithms and applications.
Udgivet: (2002)

Sheaves of algebras over boolean spaces
af: Knoebel, Arthur
Udgivet: (2012)

The bidimensionality theory and its algorithmic applications /
af: Demaine, Erik D.

Mathematical handbook of formulas and tables
af: Spiegel, Murray R.
Udgivet: (1968)

Structural engineering formulas
af: Mikhelson, Ilya
Udgivet: (2004)

An Introduction to Binary Arithmetic
af: International Computers Limited
Udgivet: (1975)

Algorithmic graph theory
af: Alan Gibbons
Udgivet: (1985)

A study of linguistic expressions describing women in truyen kieu by nguyen du and their english translational equivalents
Udgivet: (2025)

The Oleinik-Lax-type formulas for multi-time Hamilton-Jacobi equations /
af: Van, Tran Duc.

Parameterized complexity of cardinality constrained optimization problems /
af: Cai, Leizhen.

Conditional gene genealogies under strong purifying selection /
af: Wakeley, John.

Parameterized complexity of geometric problems /
af: Giannopoulos, Panos.

Enumerating proofs of positive formulae /
af: Dowek, Gilles.

Expletive "It" and “Its” Vietnamese Equivalent Expressions
af: Nguyễn Thị Ngọc Hạnh
Udgivet: (2006)

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

Wallace's approach to unsupervised learning : the snob program /
af: Jorgensen, Murray A.

On Sets and Graphs. 1st ed. 2017
af: Omodeo, Eugenio G., et al.
Udgivet: (2020)

Dynamics of Complex Autonomous Boolean Networks
af: Rosin, David P
Udgivet: (2015)

An investigation into linguistic expressions of interpersonal meaning and their translational equivalents in the tale of kieu and its english version
Udgivet: (2025)

An investigation into linguistic expressions denoting sadness and solitude in the tale of kieu and its english translational equivalent by michael counsell
Udgivet: (2025)

Graceful, Harmonious and Magic Type Labelings. 1st ed. 2017
af: López, Susana C., et al.
Udgivet: (2020)

Computing Boolean statistical models
af: Oliveira, Paulo Murilo Castro de

An investigation into linguistic expressions of interpersonal meaning and their translational equivalents in the tale of kieu and its english version /
af: Nguyễn,Thị Ly Thảo
Udgivet: (2015)

The church and a living wage
af: O'Brien, John A.
Udgivet: (1950)

Oracle OCP Oracle9i database fundamentals l exam guide (exam 1Z0-031) /
af: Couchman, Jason S.
Udgivet: (2002)

A 2-Index Stage-Based Formulation and a Construct-Merge-Solve and Adapt Algorithm for the Flying Sidekick Traveling Salesman Problem
af: Le, Thi Hong, et al.
Udgivet: (2026)

A study of linguistic expressions describing women in truyen Kieu by Nguyen Du and their English translational equivalents /
af: Phạm Thị Lan Anh
Udgivet: (2015)

On embeddedness of area-minimizing disks, and an application to constructing complete minimal surfaces /
af: Rossman, Wayne.

On the hardness of the sum of k Mins problem /
af: Asghar, Hassan Jameel.

Enterobacter sakazakii and pther microorganisms in powdered infant formula: Meeting report
Udgivet: (2004)

Parallel algorithms for graph problems /
af: Metaxas, Panatiotis.
Udgivet: (2000)

An investigation into linguistic expressions denoting sadness and solitude in the tale of kieu and its english translational equivalent by michael counsell /
af: Trang, Thục Hà Ngân
Udgivet: (2015)

Fast parallel algorithms for graph matching problems /
af: Karpinski, Marek, 1948-
Udgivet: (1998)

Equivalence theorem for generalized dependencies in relational databases
af: Nguyen, Xuan Huy, et al.
Udgivet: (2014)