Home
Advanced search
Results of search for 'ccl=su:" logică matematică"'

Refine your search

Availability
- Limit to records with available items
Authors
- ANIS, Saima 1
- ANTOHE, Ștefan 2
- BOBOC, Laurențiu 1
- BOGDAN, Marcel 1
- CAZACU, Constantin; SLABU, Valeria 1
- CHENG, Albert M. K. 1
- COSTESCU, Ion 1
- CRIȘAN, Gloria Cerasela 1
- DEMIAN, Petru; GONTEAN, Aurel 1
- DERANSART, Pierre; JOURDAN, Martin 1
- DIJKSTRA, Edsger\-\\Wybe; SCHOLTEN, Carel\-\\S. 1
- ENESCU, Gheorghe 1
- FLORENSKI, Pavel Alexandrovici 1
- FREGE, Gottlob 1
- FREUDENTHAL, Hans 1
- GÎRȚU, Manuela 1
- HAO, Wang 1
- ICĂ, Ioan I. jr.; IORDACHE, Emil 1
- ILANTHENRAL, K. 1
- KANDASAMY, W. B. Vasantha 1
- KHAN, Madad 1
- NORMAN, Timothy J. 1
- PATRICIU, Alina-Mihaela 1
- PEARCE, D. 1
- PRICOP, Andrei Traian 1
- PROBST, Dieter 1
- REED, Chris 1
- SCHUSTER, Peter 1
- SMARANDACHE, Florentin 2
- TAHIR, Fazal 1
- Universitatea Tehnică din Timișoara 1
- VIERU, Sorin 1
- WANSING, Heinrich 1
- Show more
- Show less
Collections
- Cărți 9
Holding libraries
- Biblioteca Facultății de Litere 1
- Biblioteca - Sediul Central 8
Home libraries
- Biblioteca Facultății de Litere 1
- Biblioteca - Sediul Central 8
Item types
- Books 14 days 3
- Books 28 days 1
- Books 90 days 1
- Books Reading room 5
- E-Books 1
Locations
- LIT-Sala de lectură 1
- SC-Depozit rectorat 5
- SC-Împrumut SET 5
- SC-Sala de lectură 1
- SC-Sala de lectură II 3
- SC-Sala lectură SET 1
- SC-Sala lectură SEU 1
- Show more
- Show less
Series
Topics

Your search returned 25 results.

Sort

Sort results by: Sort by:

Unhighlight Highlight

Select all Clear all

Select titles to:

Public lists

Titluri cărți electronice De Gruyter 2020 Titluri cărți electronice CABI 2020 cărți limba franceză Titluri cărți electronice achiziționate prin proiectul Expert (2)

New list

New tag: (done)

Tag status here.

Results

Logica computațională Gloria Cerasela Crișan by

CRIȘAN, Gloria Cerasela

Series: Colecția Științe\\Alma Mater, Bacău\

Material type:

Text

Language: rum

Publication details: Bacău ; Alma Mater\\Bacău\ ; 2011

Availability: No items available.

Lists:

Titluri cărţi pentru specializarea IMRTC Brăila 2018 - geometrie descriptivă- desen tehnic; grafica,
Titluri carti pentru specializarea IMRTC Braila 2018 - matematica.

star rating

Average : 0.0 out of 5 stars

Place hold Log in to add tags Save to lists Add to cart (remove)

Logică matematică și teoria mulțimilor / Ștefan Antohe by

ANTOHE, Ștefan

Series: Științe fundamentale

Material type:

Text; Audience: Specialized;

Language: rum

Publication details: Galați: Editura Fundației Universitare "Dunărea de Jos" din Galați, 2002

Availability: Items available for loan: Biblioteca - Sediul Central (49)Call number: III 16579, ... Items available for reference: Biblioteca - Sediul Central: Not For Loan (2)Call number: III 16579, ...

Lists:

Titluri carti pentru specializarea IMRTC Braila 2018 - matematica,
Titluri cărți și RE EFUDJG.

star rating

Average : 0.0 out of 5 stars

Place hold Log in to add tags Save to lists Add to cart (remove)

Logică matematică\\Cazacu, C., EStL, Iași, 1999\ Constantin Cazacu, Valeria Slabu by

CAZACU, Constantin; SLABU, Valeria

Series: Universitaria\\Ed. "Ștefan Lupașcu", Iași\

Material type:

Text

Language: rum

Publication details: Iași ; Editura "Ștefan Lupașcu" ; 1999

Availability: No items available.

Lists:

Titluri carti pentru specializarea IMRTC Braila 2018 - matematica.

star rating

Average : 0.0 out of 5 stars

Place hold Log in to add tags Save to lists Add to cart (remove)

Real-time systems scheduling, analysis, and verification Albert M. K. Cheng by

CHENG, Albert M. K

Material type:

Text

Language: eng

Publication details: Hoboken, NJ ; Wiley\-\\Interscience ; ½2002

Availability: No items available.

Lists:

Titluri cărţi pentru specializarea IMRTC Brăila 2018 - geometrie descriptivă- desen tehnic; grafica,
Titluri carti pentru specializarea IMRTC Braila 2018 - matematica.

star rating

Average : 0.0 out of 5 stars

Place hold Log in to add tags Save to lists Add to cart (remove)

Attribute grammars and their applications International Conference, Paris, France, September 19-21, 1990 proceedings eds. P. Deransart, M. Jourdan by

WAGA. Attribute Grammars and their Applications. International Conference. ( 1990 ; Paris )
DERANSART, Pierre; JOURDAN, Martin
[ ed.; ed.]

Series: Lecture Notes in Computer Science (LNCS)\\Springer\ | ; 461

Material type:

Text

Language: eng

Publication details: Berlin; Heidelberg; New York ; Springer ; 1990

Availability: No items available.

Lists:

Titluri carti pentru specializarea IMRTC Braila 2018 - matematica.

star rating

Average : 0.0 out of 5 stars

Place hold Log in to add tags Save to lists Add to cart (remove)

Scrieri logico-filosofice / Gottlob Frege ; traducere, studiu introductiv, notițe introductive și note de Sorin Vieru by

FREGE, Gottlob
VIERU, Sorin [trad.]

Series: Clasicii filozofiei universale

Material type:

Text

Language: Romanian

Publication details: București : Editura Științifică și Enciclopedică, 1977

Availability: Items available for reference: Biblioteca - Sediul Central: Not For Loan (1)Call number: 16/F89 (1).

Lists:

Titluri cărți matematică intrate în 2016-2022,
Titluri carti pentru specializarea IMRTC Braila 2018 - matematica.

star rating

Average : 0.0 out of 5 stars

Argumentation machines : new frontiers in argument and computation / edited by Chris Reed and Timothy J. Norman by

REED, Chris [ed.]
NORMAN, Timothy J [ ed.]

Series: Argumentation Library ; 9

Material type:

Text; Literary form: Not fiction ; Audience: Specialized;

Language: English

Publication details: Dordrecht , Boston , London : Kluwer Academic Publishers, 2004

Availability: Items available for reference: Biblioteca Facultății de Litere: Not For Loan (1)Call number: 16/A76.

Lists:

Titluri cărți matematică în limba engleză,
Titluri cărți matematică intrate în 2016-2022,
Titluri carti pentru specializarea IMRTC Braila 2018 - matematica.

star rating

Average : 0.0 out of 5 stars

Dicționar de logică Gheorghe Enescu by

ENESCU, Gheorghe

Material type:

Text

Language: rum

Publication details: București ; Editura Științifică și Enciclopedică ; 1985

Availability: No items available.

Lists:

Titluri carti pentru specializarea IMRTC Braila 2018 - matematica.

star rating

Average : 0.0 out of 5 stars

Place hold Log in to add tags Save to lists Add to cart (remove)

Analiza și sinteza structurilor logice : structuri logice cablate / dr.ing. Andrei Traian Pricop, ing. Laurențiu Boboc by

BOBOC, Laurențiu
PRICOP, Andrei Traian

Material type:

Text; Literary form: Not fiction ; Audience: Specialized;

Language: Romanian

Publication details: Chișinău : Editura Tehnica-Info, 2001

Availability: Items available for loan: Biblioteca - Sediul Central (1)Call number: III 16660. Items available for reference: Biblioteca - Sediul Central: Not For Loan (2)Call number: III 16660, ...

Lists:

Titluri cărți matematică intrate în 2016-2022,
Titluri carti pentru specializarea IMRTC Braila 2018 - matematica.

star rating

Average : 0.0 out of 5 stars

Place hold Log in to add tags Save to lists Add to cart (remove)

\The \\Cosmical knowledge and the human computer Ion Costescu by

COSTESCU, Ion

Material type:

Text

Language: eng

Publication details: Timișoara ; Editura Mirton ; 1996

Availability: No items available.

star rating

Average : 0.0 out of 5 stars

Place hold Log in to add tags Save to lists Add to cart (remove)

Limbajul logicii matematice Hans Freudenthal by

FREUDENTHAL, Hans

Material type:

Text

Language: rum

Publication details: București ; Editura Tehnică ; 1973

Availability: No items available.

Lists:

Titluri carti pentru specializarea IMRTC Braila 2018 - matematica.

star rating

Average : 0.0 out of 5 stars

Place hold Log in to add tags Save to lists Add to cart (remove)

Studii de logică matematică Wang Hao by

HAO, Wang

Material type:

Text

Language: rum

Publication details: București ; Editura Științifică ; 1972

Availability: No items available.

Lists:

Titluri carti pentru specializarea IMRTC Braila 2018 - matematica.

star rating

Average : 0.0 out of 5 stars

Place hold Log in to add tags Save to lists Add to cart (remove)

Elemente de logică matematică, teoria mulțimilor și aritmetică / Ștefan Antohe by

ANTOHE, Ștefan

Material type:

Text; Literary form: Not fiction ; Audience: Specialized;

Language: Romanian

Publication details: Galați, 1994

Availability: Items available for loan: Biblioteca - Sediul Central (10)Call number: III 12021, ... Items available for reference: Biblioteca - Sediul Central: Not For Loan (4)Call number: III 12021, ...

Lists:

Titluri carti pentru specializarea IMRTC Braila 2018 - matematica.

star rating

Average : 0.0 out of 5 stars

Place hold Log in to add tags Save to lists Add to cart (remove)

Nonclassical Logics and Information Processing : International Workshop, Berlin, Germany, November 9-10, 1990 : proceedings / ed. by D. Pearce, H. Wansing by

PEARCE, D [ed.]
WANSING, Heinrich [ed.]
Nonclassical Logics and Information Processing. International Workshop Berlin) (1990 []

Series: Lecture Notes in Artificial Intelligence

Material type:

Text; Audience: Specialized;

Language: English

Publication details: Berlin : Springer, 1992

Availability: No items available.

Lists:

Titluri carti pentru specializarea IMRTC Braila 2018 - matematica.

star rating

Average : 0.0 out of 5 stars

Computational logic International Symposium Brussels, November 13-14, 1990 proceedings ed. by John W. Lloyd Series: ESPRIT Basic Research Series\\Springer\

Material type:

Text

Language: eng

Publication details: Berlin; Heidelberg; New York ; Springer ; 1990

Availability: No items available.

Lists:

Titluri carti pentru specializarea IMRTC Braila 2018 - matematica.

star rating

Average : 0.0 out of 5 stars

Place hold Log in to add tags Save to lists Add to cart (remove)

Computer Science Logic 4th Workshop, CSL'90, Heidelberg, Germany, October 1-5, 1990 proceedings E. B”rger, H. Kleine Bning, M. M. Richter, ...(eds.) by

CSL. Computer Science Logic. Workshop ( 4 ; 1990 ; Heidelberg )

Series: Lecture Notes in Computer Science (LNCS)\\Springer\ | ; 533

Material type:

Text

Language: eng

Publication details: Berlin; Heidelberg; New York ; Springer ; 1991

Availability: No items available.

star rating

Average : 0.0 out of 5 stars

Place hold Log in to add tags Save to lists Add to cart (remove)

Computer Science Logic 5th Workshop, CSL'91, Berne, Switzerland, October 7-11, 1991 proceedings E. B”rger, G. J„ger, H. Kleine Bning, ...(eds.) by

CSL. Computer Science Logic. Workshop ( 5 ; 1991 ; Berne )

Series: Lecture Notes in Computer Science (LNCS)\\Springer\ | ; 626

Material type:

Text

Language: eng

Publication details: Berlin; Heidelberg; New York ; Springer ; 1992

Availability: No items available.

star rating

Average : 0.0 out of 5 stars

Place hold Log in to add tags Save to lists Add to cart (remove)

Predicate calculus and program semantics Edsger W. Dijkstra, Carel S. Scholten by

DIJKSTRA, Edsger\-\\Wybe; SCHOLTEN, Carel\-\\S

Series: Texts and Monographs in Computer Science\\Springer\

Material type:

Text

Language: eng

Publication details: New York; Berlin; Heidelberg ; Springer ; 1990

Availability: No items available.

Lists:

Titluri carti pentru specializarea IMRTC Braila 2018 - matematica.

star rating

Average : 0.0 out of 5 stars

Place hold Log in to add tags Save to lists Add to cart (remove)

Sisteme cu logică aplicată lucrări de laborator A.Gontean, P.Demian by

DEMIAN, Petru; GONTEAN, Aurel
Universitatea Tehnică din Timișoara
[ ed.]

Material type:

Text

Language: rum

Publication details: 1994

Availability: No items available.

Lists:

Titluri carti pentru specializarea IMRTC Braila 2018 - matematica.

star rating

Average : 0.0 out of 5 stars

Place hold Log in to add tags Save to lists Add to cart (remove)

Stâlpul și temelia adevărului încercare de teodicee ortodoxă în douăsprezece scrisori Pavel Florenski ; trad. de Emil Iordache, pr. Iulian Friptu, pr. Dimitrie Popescu ; studiu introductiv de diac. Ioan I. Ică jr. by

FLORENSKI, Pavel Alexandrovici
ICĂ, Ioan I. jr.; IORDACHE, Emil
[ pref.; trad.]

Series: Plural. Religie\\Polirom, Iași\

Material type:

Text

Language: rum

Publication details: Iași ; Polirom ; 1999

Availability: No items available.

star rating

Average : 0.0 out of 5 stars

Place hold Log in to add tags Save to lists Add to cart (remove)

Local cover image

MOD natural neutrosophic semirings / W. B. Vasantha Kandasamy, Ilanthenral K., Florentin Smarandache by

KANDASAMY, W. B. Vasantha
SMARANDACHE, Florentin
ILANTHENRAL, K

Series: Series on MOD mathematics

Material type:

Text; Format: regular print ; Literary form: Not fiction ; Audience: Specialized;

Language: English

Publication details: Brussels : Europa Nova, 2016

Availability: Items available for loan: Biblioteca - Sediul Central (1)Call number: II 41724d1. Items available for reference: Biblioteca - Sediul Central: Not For Loan (1)Call number: 512.54/.55/K20.

Lists:

Titluri cărți intrate în bibliotecă în perioada septembrie-decembrie 2017,
Titluri carți matematică (DC nave) intrate în 2016-2021,
Titluri cărți matematică în limba engleză,
Titluri cărți matematică în limba engleză publicate în 2013-2023,
Titluri cărți matematică intrate în 2010-2021,
Titluri cărți matematică intrate în 2016-2018,
Titluri cărți matematică intrate în 2016-2022,
Titluri cărți matematică: 2017,
Titluri cărți matematică: 2018,
Titluri cărți străine intrate în bibliotecă în anul 2017.

star rating

Average : 0.0 out of 5 stars

Place hold Log in to add tags Save to lists Add to cart (remove)

Local cover image

Neutrosophic set approach to algebraic structures / Madad Khan, Florentin Smarandache, Saima Anis, Fazal Tahir by

KHAN, Madad
SMARANDACHE, Florentin
ANIS, Saima
TAHIR, Fazal

Material type:

Text; Format: regular print ; Literary form: Not fiction ; Audience: Specialized;

Language: English

Publication details: Brussels : Pons Editions, 2016

Availability: Items available for loan: Biblioteca - Sediul Central (1)Call number: III 23760 d1. Items available for reference: Biblioteca - Sediul Central: Not For Loan (1)Call number: 512.54/.55/N54.

Lists: